vbox_hw_fini      103 drivers/gpu/drm/vboxvideo/vbox_drv.c 	vbox_hw_fini(vbox);
vbox_hw_fini      120 drivers/gpu/drm/vboxvideo/vbox_drv.c 	vbox_hw_fini(vbox);
vbox_hw_fini      144 drivers/gpu/drm/vboxvideo/vbox_drv.h void vbox_hw_fini(struct vbox_private *vbox);