PG_W_IDX
((*(pt_entry_t *)pte & pmap->pmap_bits[PG_W_IDX]) != 0)
[PG_W_IDX] = EPT_PG_AVAIL1,
[PG_W_IDX] = X86_PG_AVAIL1,
if (pte & pmap->pmap_bits[PG_W_IDX])
if (pte & pmap->pmap_bits[PG_W_IDX])
if (ipte & ipmap->pmap_bits[PG_W_IDX])
if (ipte & ipmap->pmap_bits[PG_W_IDX])
newpte |= pmap->pmap_bits[PG_W_IDX];
(origpte & pmap->pmap_bits[PG_W_IDX]))
atomic_clear_long(ptep, pmap->pmap_bits[PG_W_IDX]);
atomic_clear_long(ptep, pmap->pmap_bits[PG_W_IDX]);