Symbol: ARM_LPAE_TCR_PS_40_BIT
drivers/iommu/io-pgtable-arm.c
1014
tcr->ips = ARM_LPAE_TCR_PS_40_BIT;
drivers/iommu/io-pgtable-arm.c
1121
vtcr->ps = ARM_LPAE_TCR_PS_40_BIT;