Symbol: vmxnet3_intr_intx
sys/dev/pci/if_vmx.c
202
int vmxnet3_intr_intx(void *);
sys/dev/pci/if_vmx.c
334
isr = vmxnet3_intr_intx;