Searched refs:vmci_guest_exit (Results 1 – 3 of 3) sorted by relevance
53 void vmci_guest_exit(void);
105 vmci_guest_exit(); in vmci_drv_exit()
733 void __exit vmci_guest_exit(void) in vmci_guest_exit() function