Searched refs:PG_MANAGED_IDX (Results 1 – 2 of 2) sorted by relevance
288 [PG_MANAGED_IDX] = X86_PG_AVAIL2,2526 [PG_MANAGED_IDX] = EPT_PG_AVAIL2, in pmap_ept_transform()4715 if (pte & pmap->pmap_bits[PG_MANAGED_IDX]) { in pmap_remove_callback()4723 if (pte & pmap->pmap_bits[PG_MANAGED_IDX]) { in pmap_remove_callback()4797 if (ipte & ipmap->pmap_bits[PG_MANAGED_IDX]) { in pmap_remove_all()4884 if (ipte & ipmap->pmap_bits[PG_MANAGED_IDX]) { in pmap_remove_specific()4973 if (pbits & pmap->pmap_bits[PG_MANAGED_IDX]) { in pmap_protect_callback()4996 if (pbits & pmap->pmap_bits[PG_MANAGED_IDX]) { in pmap_protect_callback()5112 newpte |= pmap->pmap_bits[PG_MANAGED_IDX]; in pmap_enter()6199 if (pte & pmap->pmap_bits[PG_MANAGED_IDX]) in pmap_mincore()[all …]
254 PG_MANAGED_IDX, /* Managed */ enumerator