ARM_LPAE_TCR_PS_SHIFT  939 drivers/iommu/io-pgtable-arm.c 		reg |= (ARM_LPAE_TCR_PS_32_BIT << ARM_LPAE_TCR_PS_SHIFT);
ARM_LPAE_TCR_PS_SHIFT  942 drivers/iommu/io-pgtable-arm.c 		reg |= (ARM_LPAE_TCR_PS_36_BIT << ARM_LPAE_TCR_PS_SHIFT);
ARM_LPAE_TCR_PS_SHIFT  945 drivers/iommu/io-pgtable-arm.c 		reg |= (ARM_LPAE_TCR_PS_40_BIT << ARM_LPAE_TCR_PS_SHIFT);
ARM_LPAE_TCR_PS_SHIFT  948 drivers/iommu/io-pgtable-arm.c 		reg |= (ARM_LPAE_TCR_PS_42_BIT << ARM_LPAE_TCR_PS_SHIFT);
ARM_LPAE_TCR_PS_SHIFT  951 drivers/iommu/io-pgtable-arm.c 		reg |= (ARM_LPAE_TCR_PS_44_BIT << ARM_LPAE_TCR_PS_SHIFT);
ARM_LPAE_TCR_PS_SHIFT  954 drivers/iommu/io-pgtable-arm.c 		reg |= (ARM_LPAE_TCR_PS_48_BIT << ARM_LPAE_TCR_PS_SHIFT);
ARM_LPAE_TCR_PS_SHIFT  957 drivers/iommu/io-pgtable-arm.c 		reg |= (ARM_LPAE_TCR_PS_52_BIT << ARM_LPAE_TCR_PS_SHIFT);