Symbol: ARM_LPAE_TCR_PS_36_BIT
drivers/iommu/io-pgtable-arm.c
1011
tcr->ips = ARM_LPAE_TCR_PS_36_BIT;
drivers/iommu/io-pgtable-arm.c
1118
vtcr->ps = ARM_LPAE_TCR_PS_36_BIT;