Symbol: vmxnet3_event_intr
sys/dev/pci/if_vmx.c
414
static int vmxnet3_event_intr(void *);
sys/dev/pci/if_vmx.c
972
vmxnet3_event_intr, sc, xnamebuf);