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);