Symbol: ARM_LPAE_TCR_PS_52_BIT
drivers/iommu/io-pgtable-arm.c
1026
tcr->ips = ARM_LPAE_TCR_PS_52_BIT;
drivers/iommu/io-pgtable-arm.c
1133
vtcr->ps = ARM_LPAE_TCR_PS_52_BIT;