Symbol: vmci_util_exit
sys/dev/vmware/vmci/vmci.c
235
vmci_util_exit();
sys/dev/vmware/vmci/vmci_driver.h
37
void vmci_util_exit(void);