Symbol: vmci_guest_exit
drivers/misc/vmw_vmci/vmci_driver.c
164
vmci_guest_exit();
drivers/misc/vmw_vmci/vmci_driver.h
47
void vmci_guest_exit(void);