PTE_TYPE_PAGE     115 arch/arm64/include/asm/kernel-pgtable.h #define SWAPPER_PTE_FLAGS	(PTE_TYPE_PAGE | PTE_AF | PTE_SHARED)
PTE_TYPE_PAGE      26 arch/arm64/include/asm/pgtable-prot.h #define _PROT_DEFAULT		(PTE_TYPE_PAGE | PTE_AF | PTE_SHARED)
PTE_TYPE_PAGE     188 arch/arm64/include/asm/pgtable.h 	return set_pte_bit(pte, __pgprot(PTE_TYPE_PAGE));