vbva_buffer_end_update   82 drivers/gpu/drm/vboxvideo/vbox_main.c 			vbva_buffer_end_update(&vbox->vbva_info[crtc_id]);
vbva_buffer_end_update   46 drivers/gpu/drm/vboxvideo/vboxvideo_guest.h void vbva_buffer_end_update(struct vbva_buf_ctx *vbva_ctx);