Symbol: vmci_event_dispatch
sys/dev/vmware/vmci/vmci_driver.c
317
result = vmci_event_dispatch(dg);
sys/dev/vmware/vmci/vmci_event.h
18
int vmci_event_dispatch(struct vmci_datagram *msg);
sys/dev/vmware/vmci/vmci_queue_pair.c
936
return (vmci_event_dispatch((struct vmci_datagram *)e_msg));