PTE_W
#define PTE_W 0x0000000000000002 /* Write */
#define PTE_W 0x00000002 /* Write */
#define PTE_W MAS2_W /* Write-through */
#define PTE_W 0x00000040 /* 1 = write-through, 0 = write-back */
#define PTE_W __BIT(2) // Write