ARM_LPAE_PTE_TYPE_PAGE  197 drivers/iommu/io-pgtable-arm.c 		return iopte_type(pte, lvl) == ARM_LPAE_PTE_TYPE_PAGE;
ARM_LPAE_PTE_TYPE_PAGE  309 drivers/iommu/io-pgtable-arm.c 		pte |= ARM_LPAE_PTE_TYPE_PAGE;