vbva_write         80 drivers/gpu/drm/vboxvideo/vbox_main.c 			vbva_write(&vbox->vbva_info[crtc_id], vbox->guest_pool,
vbva_write         47 drivers/gpu/drm/vboxvideo/vboxvideo_guest.h bool vbva_write(struct vbva_buf_ctx *vbva_ctx, struct gen_pool *ctx,