sys/amd64/amd64/pmap.c

180

return ((pmap->pm_type == PT_EPT) || (pmap->pm_type == PT_RVI));

sys/amd64/amd64/pmap.c

200

case PT_EPT:

sys/amd64/amd64/pmap.c

223

case PT_EPT:

sys/amd64/amd64/pmap.c

2387

return (pmap->pm_type != PT_EPT || !executable ||

sys/amd64/amd64/pmap.c

248

case PT_EPT:

sys/amd64/amd64/pmap.c

268

case PT_EPT:

sys/amd64/amd64/pmap.c

2727

case PT_EPT:

sys/amd64/amd64/pmap.c

2779

case PT_EPT:

sys/amd64/amd64/pmap.c

2800

case PT_EPT:

sys/amd64/amd64/pmap.c

2829

case PT_EPT:

sys/amd64/amd64/pmap.c

2860

case PT_EPT:

sys/amd64/amd64/pmap.c

291

case PT_EPT:

sys/amd64/amd64/pmap.c

318

KASSERT(pmap->pm_type == PT_EPT, ("invalid pm_type %d", pmap->pm_type));

sys/amd64/amd64/pmap.c

4430

case PT_EPT:

sys/amd64/amd64/pmap.c

6815

if (pmap->pm_type != PT_EPT)

sys/amd64/vmm/intel/ept.c

175

return (pmap_pinit_type(pmap, PT_EPT, ept_pmap_flags));