vmci_event_exit    86 drivers/misc/vmw_vmci/vmci_driver.c 		vmci_event_exit();
vmci_event_exit   102 drivers/misc/vmw_vmci/vmci_driver.c 	vmci_event_exit();
vmci_event_exit    14 drivers/misc/vmw_vmci/vmci_event.h void vmci_event_exit(void);