vbox_mode_fini     99 drivers/gpu/drm/vboxvideo/vbox_drv.c 	vbox_mode_fini(vbox);
vbox_mode_fini    118 drivers/gpu/drm/vboxvideo/vbox_drv.c 	vbox_mode_fini(vbox);
vbox_mode_fini    147 drivers/gpu/drm/vboxvideo/vbox_drv.h void vbox_mode_fini(struct vbox_private *vbox);