Searched refs:vmx_vmxoff (Results 1 – 1 of 1) sorted by relevance
66 vmx_vmxoff(void) in vmx_vmxoff() function3490 vmx_vmxoff(); in OS_IPI_FUNC()