Searched refs:vmci_guest_exit (Results 1 – 3 of 3) sorted by relevance
47 void vmci_guest_exit(void);
164 vmci_guest_exit(); in vmci_drv_exit()
975 void __exit vmci_guest_exit(void) in vmci_guest_exit() function