PMAP_SUPPORTS_EXEC_ONLY
((pmap->pm_flags & PMAP_SUPPORTS_EXEC_ONLY) != 0))
ept_pmap_flags |= PMAP_SUPPORTS_EXEC_ONLY;