ARM_LPAE_TCR_PS_32_BIT 827 drivers/iommu/io-pgtable-arm.c reg |= (ARM_LPAE_TCR_PS_32_BIT << ARM_LPAE_TCR_IPS_SHIFT); ARM_LPAE_TCR_PS_32_BIT 939 drivers/iommu/io-pgtable-arm.c reg |= (ARM_LPAE_TCR_PS_32_BIT << ARM_LPAE_TCR_PS_SHIFT);