Symbol: vmci_resource_exit
sys/dev/vmware/vmci/vmci_driver.c
451
vmci_resource_exit();
sys/dev/vmware/vmci/vmci_driver.c
479
vmci_resource_exit();
sys/dev/vmware/vmci/vmci_resource.h
39
void vmci_resource_exit(void);