PG_W
#define PG_W PTE_WIRED
#define PG_W PTE_WIRED
#define PG_W __BIT(8) /* 851 unused bit XXX040 PTE40_U0 */
#define PG_W 0x40000000 /* allowed to write */
#define PG_W 0x01000000