Symbol: PTE_ADDR_HIGH
arch/arm64/include/asm/pgtable-hwdef.h
184
#define PHYS_TO_PTE_ADDR_MASK (PTE_ADDR_LOW | PTE_ADDR_HIGH)
arch/arm64/include/asm/pgtable.h
124
((pte_val(pte) & PTE_ADDR_HIGH) << PTE_ADDR_HIGH_SHIFT);