vmci_host_exit    100 drivers/misc/vmw_vmci/vmci_driver.c 		vmci_host_exit();
vmci_host_exit     41 drivers/misc/vmw_vmci/vmci_driver.h void vmci_host_exit(void);