ARM_LPAE_TCR_PS_42_BIT  836 drivers/iommu/io-pgtable-arm.c 		reg |= (ARM_LPAE_TCR_PS_42_BIT << ARM_LPAE_TCR_IPS_SHIFT);
ARM_LPAE_TCR_PS_42_BIT  948 drivers/iommu/io-pgtable-arm.c 		reg |= (ARM_LPAE_TCR_PS_42_BIT << ARM_LPAE_TCR_PS_SHIFT);