Symbol: CI_VMM_EPT
sys/arch/amd64/amd64/identcpu.c
993
ci->ci_vmm_flags |= CI_VMM_EPT;
sys/arch/amd64/amd64/vmm_machdep.c
259
if (ci->ci_vmm_flags & CI_VMM_EPT)
sys/arch/amd64/amd64/vmm_machdep.c
295
if (ci->ci_vmm_flags & CI_VMM_EPT)