vbg_core_isr      170 drivers/virt/vboxguest/vboxguest_core.h irqreturn_t vbg_core_isr(int irq, void *dev_id);
vbg_core_isr      363 drivers/virt/vboxguest/vboxguest_linux.c 	ret = devm_request_irq(dev, pci->irq, vbg_core_isr, IRQF_SHARED,