ARM_LPAE_TCR_PS_48_BIT  842 drivers/iommu/io-pgtable-arm.c 		reg |= (ARM_LPAE_TCR_PS_48_BIT << ARM_LPAE_TCR_IPS_SHIFT);
ARM_LPAE_TCR_PS_48_BIT  954 drivers/iommu/io-pgtable-arm.c 		reg |= (ARM_LPAE_TCR_PS_48_BIT << ARM_LPAE_TCR_PS_SHIFT);