Symbol: ARM_LPAE_TCR_PS_44_BIT
drivers/iommu/io-pgtable-arm.c
1020
tcr->ips = ARM_LPAE_TCR_PS_44_BIT;
drivers/iommu/io-pgtable-arm.c
1127
vtcr->ps = ARM_LPAE_TCR_PS_44_BIT;