Symbol: ARM_LPAE_TCR_PS_32_BIT
drivers/iommu/io-pgtable-arm.c
1008
tcr->ips = ARM_LPAE_TCR_PS_32_BIT;
drivers/iommu/io-pgtable-arm.c
1115
vtcr->ps = ARM_LPAE_TCR_PS_32_BIT;