Symbol: PTE_ADDR_HIGH_SHIFT
arch/arm64/include/asm/pgtable-hwdef.h
183
#define PTE_ADDR_HIGH_SHIFT 36
arch/arm64/include/asm/pgtable-hwdef.h
187
#define PTE_ADDR_HIGH_SHIFT 42