PG_RW_IDX
kernel_pmap->pmap_bits[PG_RW_IDX] |
kernel_pmap->pmap_bits[PG_RW_IDX] |
kernel_pmap->pmap_bits[PG_RW_IDX] |
kernel_pmap->pmap_bits[PG_RW_IDX] |
pmap_bits_default[PG_RW_IDX] |
pmap_bits_default[PG_RW_IDX] |
pmap_bits_default[PG_RW_IDX] |
pmap_bits_default[PG_RW_IDX] |
pmap_bits_default[PG_RW_IDX] |
pmap_bits_default[PG_RW_IDX] |
pmap_bits_default[PG_RW_IDX] |
pmap_bits_default[PG_RW_IDX] |
pmap_bits_default[PG_RW_IDX] |
*ptep = vtophys(va) | kernel_pmap->pmap_bits[PG_RW_IDX] |
req |= pmap->pmap_bits[PG_RW_IDX];
kernel_pmap->pmap_bits[PG_RW_IDX] |
npte = pa | kernel_pmap->pmap_bits[PG_RW_IDX] |
kernel_pmap->pmap_bits[PG_RW_IDX] |
atomic_set_long(vtopte(va), kernel_pmap->pmap_bits[PG_RW_IDX]);
kernel_pmap->pmap_bits[PG_RW_IDX] |
pmap->pmap_bits[PG_RW_IDX] |
pmap->pmap_bits[PG_RW_IDX] |
pmap->pmap_bits[PG_RW_IDX] |
[PG_RW_IDX] = EPT_PG_WRITE,
pmap_bits_ept[PG_RW_IDX],
pmap_bits_ept[PG_RW_IDX],
pmap_bits_ept[PG_RW_IDX],
pmap_bits_ept[PG_RW_IDX],
pmap_bits_default[PG_RW_IDX],
pmap_bits_default[PG_RW_IDX],
pmap_bits_default[PG_RW_IDX],
pmap_bits_default[PG_RW_IDX],
(pmap->pmap_bits[PG_RW_IDX] |
[PG_RW_IDX] = X86_PG_RW,
(pmap->pmap_bits[PG_RW_IDX] |
kernel_pmap->pmap_bits[PG_RW_IDX] |
kernel_pmap->pmap_bits[PG_RW_IDX] |
cbits &= ~pmap->pmap_bits[PG_RW_IDX];
if (newpte & pmap->pmap_bits[PG_RW_IDX])
if (bit_index == PG_RW_IDX)
if (bit_index == PG_RW_IDX) {
if (bit_index != PG_RW_IDX) {
if ((ipte & ipmap->pmap_bits[PG_RW_IDX]) == 0)
npte = ipte & ~(ipmap->pmap_bits[PG_RW_IDX] |
pmap_clearbit(m, PG_RW_IDX);
*kp = pmap_bits_default[PG_RW_IDX];
*kp = pmap_bits_default[PG_RW_IDX];
kernel_pmap->pmap_bits[PG_RW_IDX] |
pmap_bits_default[PG_RW_IDX] |
pmap_bits_default[PG_RW_IDX] |
pmap_bits_default[PG_RW_IDX] |