Symbol: ARM_LPAE_PTE_TYPE_PAGE
drivers/iommu/io-pgtable-arm.c
173
return iopte_type(pte) == ARM_LPAE_PTE_TYPE_PAGE;
drivers/iommu/io-pgtable-arm.c
381
pte |= ARM_LPAE_PTE_TYPE_PAGE;