Symbol: vmci_resource_sync
sys/dev/vmware/vmci/vmci_datagram.c
622
vmci_resource_sync();
sys/dev/vmware/vmci/vmci_doorbell.c
775
vmci_resource_sync();
sys/dev/vmware/vmci/vmci_resource.h
40
void vmci_resource_sync(void);