_REGION3_ENTRY_WRITE
pud = clear_pud_bit(pud, __pgprot(_REGION3_ENTRY_WRITE));
pud = set_pud_bit(pud, __pgprot(_REGION3_ENTRY_WRITE));
if (pud_val(pud) & _REGION3_ENTRY_WRITE)
_REGION3_ENTRY_WRITE | \
return (pud_val(pud) & _REGION3_ENTRY_WRITE) != 0;