vbva_buffer_available   75 drivers/gpu/drm/vboxvideo/vbva_base.c 	available = vbva_buffer_available(vbva);
vbva_buffer_available   82 drivers/gpu/drm/vboxvideo/vbva_base.c 			available = vbva_buffer_available(vbva);