vbox_irq_handler  204 drivers/gpu/drm/vboxvideo/vbox_drv.c 	.irq_handler = vbox_irq_handler,
vbox_irq_handler  174 drivers/gpu/drm/vboxvideo/vbox_drv.h irqreturn_t vbox_irq_handler(int irq, void *arg);