ARM_V7S_PTE_TYPE_PAGE  340 drivers/iommu/io-pgtable-arm-v7s.c 	pte |= ARM_V7S_PTE_TYPE_PAGE;
ARM_V7S_PTE_TYPE_PAGE  374 drivers/iommu/io-pgtable-arm-v7s.c 		pte ^= xn | tex | ARM_V7S_PTE_TYPE_PAGE;
ARM_V7S_PTE_TYPE_PAGE  394 drivers/iommu/io-pgtable-arm-v7s.c 		       ARM_V7S_PTE_TYPE_PAGE;
ARM_V7S_PTE_TYPE_PAGE  404 drivers/iommu/io-pgtable-arm-v7s.c 		return !(pte & ARM_V7S_PTE_TYPE_PAGE);