PG_M_IDX
pmap_bits_default[PG_M_IDX] |
pmap_bits_default[PG_M_IDX] |
((*(pt_entry_t *)pte & pmap->pmap_bits[PG_M_IDX]) != 0)
kernel_pmap->pmap_bits[PG_M_IDX];
[PG_M_IDX] = EPT_PG_M,
v |= pmap->pmap_bits[PG_M_IDX];
[PG_M_IDX] = X86_PG_M,
v |= pmap->pmap_bits[PG_M_IDX];
if (pte & pmap->pmap_bits[PG_M_IDX])
if (ipte & ipmap->pmap_bits[PG_M_IDX])
if (ipte & ipmap->pmap_bits[PG_M_IDX])
cbits &= ~pmap->pmap_bits[PG_M_IDX];
if (pbits & pmap->pmap_bits[PG_M_IDX])
~(pt_entry_t)(pmap->pmap_bits[PG_M_IDX] |
if (origpte & pmap->pmap_bits[PG_M_IDX])
if (bit == PG_M_IDX && (m->flags & PG_WRITEABLE) == 0)
ipmap->pmap_bits[PG_M_IDX]);
if (ipte & ipmap->pmap_bits[PG_M_IDX])
res = pmap_testbit(m, PG_M_IDX);
pmap_clearbit(m, PG_M_IDX);
if (pte & pmap->pmap_bits[PG_M_IDX])