PTE_WIRED
#define PTE_WIRED PTE_AVL1 /* Wired Mapping */
#define PTE_WIRED PTE_AVL1 /* Wired Mapping */
#define PTE_WIRED 0x0020000000000000
#define PTE_WIRED PTE40_UR /* unused on '51 */
#define PTE_WIRED (MAS3_U0 << 2) /* page is wired (PTE only) */
#define PTE_WIRED __BIT(9)