Searched refs:vmx_off (Results 1 – 4 of 4) sorted by relevance
137 void vmx_off(void) in vmx_off() function
207 vmx_off(); in host_enter_s3()
503 vmx_off(); in cpu_dead()
438 void vmx_off(void);
Completed in 6 milliseconds