Searched refs:VMXON_CR4_ALWAYSON (Results 1 – 1 of 1) sorted by relevance
2606 #define VMXON_CR4_ALWAYSON X86_CR4_VMXE in vmx_get_vmx_msr() macro2614 *pdata = VMXON_CR4_ALWAYSON; in vmx_get_vmx_msr()3664 ((cr4 & VMXON_CR4_ALWAYSON) != VMXON_CR4_ALWAYSON)) in vmx_set_cr4()9467 ((vmcs12->host_cr4 & VMXON_CR4_ALWAYSON) != VMXON_CR4_ALWAYSON)) { in nested_vmx_run()9474 ((vmcs12->guest_cr4 & VMXON_CR4_ALWAYSON) != VMXON_CR4_ALWAYSON)) { in nested_vmx_run()