Symbol: IA32_VMX_ENABLE_EPT
sys/arch/amd64/amd64/identcpu.c
991
if ((msr & (IA32_VMX_ENABLE_EPT) << 32) &&
sys/arch/amd64/amd64/vmm_machdep.c
2143
want1 = IA32_VMX_ENABLE_EPT;
sys/arch/amd64/amd64/vmm_machdep.c
7726
IA32_VMX_ENABLE_EPT, 1)) {
sys/arch/amd64/amd64/vmm_machdep.c
7787
IA32_VMX_ENABLE_EPT, 1)) {
sys/arch/amd64/amd64/vmm_machdep.c
7826
IA32_VMX_ENABLE_EPT, 1)) {