Searched refs:vmx_exit (Results 1 – 2 of 2) sorted by relevance
733 void vmx_exit(void);
8861 void vmx_exit(void) in vmx_exit() function