Symbol: ARM_LPAE_TCR_PS_42_BIT
drivers/iommu/io-pgtable-arm.c
1051
tcr->ips = ARM_LPAE_TCR_PS_42_BIT;
drivers/iommu/io-pgtable-arm.c
1158
vtcr->ps = ARM_LPAE_TCR_PS_42_BIT;