PT_RVI
return ((pmap->pm_type == PT_EPT) || (pmap->pm_type == PT_RVI));
case PT_RVI:
case PT_RVI:
case PT_RVI:
case PT_RVI:
case PT_RVI:
case PT_RVI:
case PT_RVI:
case PT_RVI:
case PT_RVI:
case PT_RVI:
case PT_RVI:
return (pmap_pinit_type(pmap, PT_RVI, npt_flags));