Symbol: ARM_LPAE_TCR_PS_48_BIT
drivers/iommu/io-pgtable-arm.c
1023
tcr->ips = ARM_LPAE_TCR_PS_48_BIT;
drivers/iommu/io-pgtable-arm.c
1130
vtcr->ps = ARM_LPAE_TCR_PS_48_BIT;