PG_MANAGED_IDX
[PG_MANAGED_IDX] = EPT_PG_AVAIL2,
[PG_MANAGED_IDX] = X86_PG_AVAIL2,
if (oldpte & pmap->pmap_bits[PG_MANAGED_IDX]) {
if (pte & pmap->pmap_bits[PG_MANAGED_IDX]) {
if (pte & pmap->pmap_bits[PG_MANAGED_IDX]) {
if (ipte & ipmap->pmap_bits[PG_MANAGED_IDX]) {
if (ipte & ipmap->pmap_bits[PG_MANAGED_IDX]) {
if (pbits & pmap->pmap_bits[PG_MANAGED_IDX]) {
if (pbits & pmap->pmap_bits[PG_MANAGED_IDX]) {
newpte |= pmap->pmap_bits[PG_MANAGED_IDX];
if (opa && (origpte & pmap->pmap_bits[PG_MANAGED_IDX])) {
if (opa && (origpte & pmap->pmap_bits[PG_MANAGED_IDX])) {
KKASSERT((newpte & pmap->pmap_bits[PG_MANAGED_IDX]) == 0 ||
if ((ipte & ipmap->pmap_bits[PG_MANAGED_IDX]) == 0)
if (pte & pmap->pmap_bits[PG_MANAGED_IDX])
if (pte & pmap->pmap_bits[PG_MANAGED_IDX]) {