Symbol: PTE_ADDR_HIGH
arch/arm64/include/asm/pgtable-hwdef.h
182
#define PTE_ADDR_HIGH (_AT(pteval_t, 0xf) << 12)
arch/arm64/include/asm/pgtable-hwdef.h
186
#define PTE_ADDR_HIGH (_AT(pteval_t, 0x3) << 8)