Home
last modified time | relevance | path

Searched refs:IA32_VMX_ENABLE_EPT (Results 1 – 3 of 3) sorted by relevance

/openbsd/src/sys/arch/amd64/include/
Dspecialreg.h1176 #define IA32_VMX_ENABLE_EPT (1ULL << 1) macro
/openbsd/src/sys/arch/amd64/amd64/
Didentcpu.c953 if (msr & (IA32_VMX_ENABLE_EPT) << 32) in cpu_check_vmm_cap()
Dvmm_machdep.c2082 want1 = IA32_VMX_ENABLE_EPT; in vcpu_reset_regs_vmx()
7077 IA32_VMX_ENABLE_EPT, 1)) { in vmx_dump_vmcs()
7138 IA32_VMX_ENABLE_EPT, 1)) { in vmx_dump_vmcs()
7177 IA32_VMX_ENABLE_EPT, 1)) { in vmx_dump_vmcs()