vbva_buffer_flush   81 drivers/gpu/drm/vboxvideo/vbva_base.c 			vbva_buffer_flush(ctx);
vbva_buffer_flush  180 drivers/gpu/drm/vboxvideo/vbva_base.c 		vbva_buffer_flush(ctx);