ATTR_S1_AP_RW
ATTR_S1_IDX(mode) | ATTR_S1_AP(ATTR_S1_AP_RW) |
(range->attrs & ATTR_S1_AP_RW_BIT) == ATTR_S1_AP_RW ? 'w' : '-',
ATTR_KERN_GP | ATTR_S1_IDX(VM_MEMATTR_WRITE_BACK) | ATTR_S1_AP(ATTR_S1_AP_RW))
(tpte & ATTR_S1_AP_RW_BIT) == ATTR_S1_AP(ATTR_S1_AP_RW))
attr = ATTR_AF | pmap_sh_attr | ATTR_S1_AP(ATTR_S1_AP_RW) |
ATTR_S1_AP(ATTR_S1_AP_RW) | ATTR_S1_XN |
(ATTR_SW_DBM | ATTR_S1_AP(ATTR_S1_AP_RW)))
(ATTR_SW_DBM | ATTR_S1_AP(ATTR_S1_AP_RW)))
value |= ATTR_S1_AP(ATTR_S1_AP_RW);
value |= ATTR_S1_AP(ATTR_S1_AP_RW);
val = ATTR_S1_AP(ATTR_S1_AP_RW);
pmap_sh_attr | ATTR_S1_AP(ATTR_S1_AP_RW) |
(ATTR_S1_AP(ATTR_S1_AP_RW) | ATTR_SW_DBM))
(ATTR_S1_AP(ATTR_S1_AP_RW) | ATTR_SW_DBM))
(ATTR_S1_AP(ATTR_S1_AP_RW) | ATTR_SW_DBM))
(tpte & ATTR_S1_AP_RW_BIT) == ATTR_S1_AP(ATTR_S1_AP_RW)))
(ATTR_S1_AP(ATTR_S1_AP_RW) | ATTR_SW_DBM));