Symbol: ARM_V7S_PTE_TYPE_PAGE
drivers/iommu/io-pgtable-arm-v7s.c
358
pte |= ARM_V7S_PTE_TYPE_PAGE;
drivers/iommu/io-pgtable-arm-v7s.c
373
pte ^= xn | tex | ARM_V7S_PTE_TYPE_PAGE;
drivers/iommu/io-pgtable-arm-v7s.c
386
return !(pte & ARM_V7S_PTE_TYPE_PAGE);