Symbol: vmci_read_datagrams_from_port
sys/dev/vmware/vmci/vmci.c
959
vmci_read_datagrams_from_port((vmci_io_handle) 0,
sys/dev/vmware/vmci/vmci_driver.h
39
void vmci_read_datagrams_from_port(vmci_io_handle io_handle,