ATTR_SW_DBM
if ((l3e & (ATTR_SW_DBM | ATTR_S1_AP_RW_BIT)) ==
(ATTR_SW_DBM | ATTR_S1_AP(ATTR_S1_AP_RW)))
if ((l3e & (ATTR_SW_DBM | ATTR_S1_AP_RW_BIT)) ==
(ATTR_SW_DBM | ATTR_S1_AP(ATTR_S1_AP_RW)))
mask |= ATTR_S1_AP_RW_BIT | ATTR_SW_DBM;
if ((newl2 & (ATTR_S1_AP_RW_BIT | ATTR_SW_DBM)) ==
(ATTR_S1_AP(ATTR_S1_AP_RO) | ATTR_SW_DBM)) {
if (!atomic_fcmpset_64(firstl3, &newl2, newl2 & ~ATTR_SW_DBM))
newl2 &= ~ATTR_SW_DBM;
if ((oldl3 & (ATTR_S1_AP_RW_BIT | ATTR_SW_DBM)) ==
(ATTR_S1_AP(ATTR_S1_AP_RO) | ATTR_SW_DBM)) {
~ATTR_SW_DBM))
oldl3 &= ~ATTR_SW_DBM;
if ((firstl3c & (ATTR_S1_AP_RW_BIT | ATTR_SW_DBM)) ==
(ATTR_S1_AP(ATTR_S1_AP_RO) | ATTR_SW_DBM)) {
if (!atomic_fcmpset_64(l3p, &firstl3c, firstl3c & ~ATTR_SW_DBM))
firstl3c &= ~ATTR_SW_DBM;
if ((oldl3 & (ATTR_S1_AP_RW_BIT | ATTR_SW_DBM)) ==
(ATTR_S1_AP(ATTR_S1_AP_RO) | ATTR_SW_DBM)) {
~ATTR_SW_DBM))
oldl3 &= ~ATTR_SW_DBM;
new_l3 |= ATTR_SW_DBM;
(new_l3 & ATTR_SW_DBM) != 0)
if ((new_l3 & ATTR_SW_DBM) != 0)
if ((new_l2 & ATTR_SW_DBM) != 0)
if ((l3e & ATTR_SW_DBM) != 0)
if ((ptetemp & ATTR_SW_DBM) != 0)
if ((pmap_load(pte) & ATTR_SW_DBM) != 0)
if ((oldpte & ATTR_SW_DBM) != 0) {
clear |= ATTR_SW_DBM;
if ((oldl2 & ATTR_SW_DBM) != 0 &&
(oldl3 & ~ATTR_SW_DBM) | ATTR_S1_AP(ATTR_S1_AP_RO)))
(oldl3 & (ATTR_SW_DBM | ATTR_S1_AP_RW_BIT)) !=
(ATTR_SW_DBM | ATTR_S1_AP(ATTR_S1_AP_RO)),
if ((oldl3 & (ATTR_S1_AP_RW_BIT | ATTR_SW_DBM)) == ATTR_SW_DBM) {
KASSERT((oldl2 & (ATTR_S1_AP_RW_BIT | ATTR_SW_DBM)) !=
(ATTR_S1_AP(ATTR_S1_AP_RO) | ATTR_SW_DBM),
KASSERT((l2e & (ATTR_SW_DBM | ATTR_S1_AP_RW_BIT)) !=
(ATTR_SW_DBM | ATTR_S1_AP(ATTR_S1_AP_RO)),
if ((l2e & (ATTR_S1_AP_RW_BIT | ATTR_SW_DBM)) ==
(ATTR_S1_AP(ATTR_S1_AP_RW) | ATTR_SW_DBM))
KASSERT((l3e & (ATTR_SW_DBM | ATTR_S1_AP_RW_BIT)) !=
(ATTR_SW_DBM | ATTR_S1_AP(ATTR_S1_AP_RO)),
if ((l3e & (ATTR_S1_AP_RW_BIT | ATTR_SW_DBM)) ==
(ATTR_S1_AP(ATTR_S1_AP_RW) | ATTR_SW_DBM))
if ((l3e & (ATTR_S1_AP_RW_BIT | ATTR_SW_DBM)) ==
(ATTR_S1_AP(ATTR_S1_AP_RW) | ATTR_SW_DBM))
KASSERT((pte & (ATTR_S1_AP_RW_BIT | ATTR_SW_DBM)) != 0,
return ((pte & (ATTR_S1_AP_RW_BIT | ATTR_SW_DBM)) ==
(ATTR_S1_AP(ATTR_S1_AP_RW) | ATTR_SW_DBM));
((pte = pmap_load(ptep)) & ATTR_SW_DBM) != 0) {