pmap_is_ept
if (pmap_is_ept(pmap))
if (pmap_is_ept(pmap)) {
if (pmap_is_ept(pmap))
KASSERT(pmap_is_ept(pm));
|| (pmap_is_ept(pmap) && pmap == ci->ci_ept_pmap)
KASSERT(!pmap_is_ept(pmap));