vbox_irq_fini      97 drivers/gpu/drm/vboxvideo/vbox_drv.c 	vbox_irq_fini(vbox);
vbox_irq_fini     117 drivers/gpu/drm/vboxvideo/vbox_drv.c 	vbox_irq_fini(vbox);
vbox_irq_fini     172 drivers/gpu/drm/vboxvideo/vbox_drv.h void vbox_irq_fini(struct vbox_private *vbox);