Symbol: vbg_core_isr
drivers/virt/vboxguest/vboxguest_core.h
200
irqreturn_t vbg_core_isr(int irq, void *dev_id);
drivers/virt/vboxguest/vboxguest_linux.c
368
ret = request_irq(pci->irq, vbg_core_isr, IRQF_SHARED, DEVICE_NAME,