ATTR_S1_AP_RW_BIT
(range->attrs & ATTR_S1_AP_RW_BIT) == ATTR_S1_AP_RW ? 'w' : '-',
(tpte & ATTR_S1_AP_RW_BIT) == ATTR_S1_AP(ATTR_S1_AP_RW))
if ((l3e & (ATTR_SW_DBM | ATTR_S1_AP_RW_BIT)) ==
first_l3e &= ~ATTR_S1_AP_RW_BIT;
if ((l3e & (ATTR_SW_DBM | ATTR_S1_AP_RW_BIT)) ==
mask |= ATTR_S1_AP_RW_BIT | ATTR_SW_DBM;
if ((newl2 & (ATTR_S1_AP_RW_BIT | ATTR_SW_DBM)) ==
if ((oldl3 & (ATTR_S1_AP_RW_BIT | ATTR_SW_DBM)) ==
if ((firstl3c & (ATTR_S1_AP_RW_BIT | ATTR_SW_DBM)) ==
if ((oldl3 & (ATTR_S1_AP_RW_BIT | ATTR_SW_DBM)) ==
nbits |= ATTR_S1_AP_RW_BIT;
mask |= ATTR_S1_AP_RW_BIT;
mask |= ATTR_S1_AP_RW_BIT;
set = ATTR_S1_AP_RW_BIT;
mask = ATTR_S1_AP_RW_BIT;
(oldl3 & (ATTR_SW_DBM | ATTR_S1_AP_RW_BIT)) !=
if ((oldl3 & (ATTR_S1_AP_RW_BIT | ATTR_SW_DBM)) == ATTR_SW_DBM) {
KASSERT((oldl2 & (ATTR_S1_AP_RW_BIT | ATTR_SW_DBM)) !=
KASSERT((l2e & (ATTR_SW_DBM | ATTR_S1_AP_RW_BIT)) !=
if ((l2e & (ATTR_S1_AP_RW_BIT | ATTR_SW_DBM)) ==
mask = ATTR_S1_AP_RW_BIT;
KASSERT((l3e & (ATTR_SW_DBM | ATTR_S1_AP_RW_BIT)) !=
if ((l3e & (ATTR_S1_AP_RW_BIT | ATTR_SW_DBM)) ==
mask = ATTR_S1_AP_RW_BIT;
if ((l3e & (ATTR_S1_AP_RW_BIT | ATTR_SW_DBM)) ==
mask = ATTR_S1_AP_RW_BIT;
(tpte & ATTR_S1_AP_RW_BIT) == ATTR_S1_AP(ATTR_S1_AP_RW)))
KASSERT((pte & (ATTR_S1_AP_RW_BIT | ATTR_SW_DBM)) != 0,
return ((pte & (ATTR_S1_AP_RW_BIT | ATTR_SW_DBM)) ==
if ((pte & ATTR_S1_AP_RW_BIT) ==
pmap_clear_bits(ptep, ATTR_S1_AP_RW_BIT);
if ((prot & PROT_WRITE) != 0 && (pte & ATTR_S1_AP_RW_BIT) != 0)