ARM_V7S_PTE_TYPE_CONT_PAGE  377 drivers/iommu/io-pgtable-arm-v7s.c 		       ARM_V7S_PTE_TYPE_CONT_PAGE;
ARM_V7S_PTE_TYPE_CONT_PAGE  391 drivers/iommu/io-pgtable-arm-v7s.c 		pte ^= xn | tex | ARM_V7S_PTE_TYPE_CONT_PAGE;