vmci_guest_exit    97 drivers/misc/vmw_vmci/vmci_driver.c 		vmci_guest_exit();
vmci_guest_exit    45 drivers/misc/vmw_vmci/vmci_driver.h void vmci_guest_exit(void);