PTE_ATTRINDX_MASK
#define PTE_ATTRINDX_MASK (_AT(pteval_t, 7) << 2)
#define PTE_ATTRINDX_MASK GENMASK(4, 2)