Symbol: vmwpvs_intx
sys/dev/pci/vmwpvs.c
328
int vmwpvs_intx(void *);
sys/dev/pci/vmwpvs.c
401
int (*isr)(void *) = vmwpvs_intx;