Searched refs:PT_EPT (Results 1 – 3 of 3) sorted by relevance
176 return (pmap_pinit_type(pmap, PT_EPT, ept_pmap_flags)); in ept_pinit()
181 return ((pmap->pm_type == PT_EPT) || (pmap->pm_type == PT_RVI)); in pmap_type_guest()201 case PT_EPT: in pmap_valid_bit()224 case PT_EPT: in pmap_rw_bit()249 case PT_EPT: in pmap_global_bit()269 case PT_EPT: in pmap_accessed_bit()292 case PT_EPT: in pmap_modified_bit()319 KASSERT(pmap->pm_type == PT_EPT, ("invalid pm_type %d", pmap->pm_type)); in safe_to_clear_referenced()2356 return (pmap->pm_type != PT_EPT || !executable || in pmap_allow_2m_x_page()2680 case PT_EPT: in pmap_swap_pat()2732 case PT_EPT: in pmap_cache_bits()[all …]
368 PT_EPT, /* Intel's nested page tables */ enumerator