vbox_fbdev_fini    95 drivers/gpu/drm/vboxvideo/vbox_drv.c 	vbox_fbdev_fini(vbox);
vbox_fbdev_fini   116 drivers/gpu/drm/vboxvideo/vbox_drv.c 	vbox_fbdev_fini(vbox);
vbox_fbdev_fini   162 drivers/gpu/drm/vboxvideo/vbox_drv.h void vbox_fbdev_fini(struct vbox_private *vbox);