Searched refs:vmx_exit (Results 1 – 3 of 3) sorted by relevance
1033 vmx_exit(); in vt_exit()1079 vmx_exit(); in vt_init()
731 void vmx_exit(void);
8913 void vmx_exit(void) in vmx_exit() function