diff --git a/plat/nvidia/tegra/soc/t194/plat_smmu.c b/plat/nvidia/tegra/soc/t194/plat_smmu.c
index 64e605bbb5879add5ff22d216bdc33be88382fee..edca16b7f100d452e3465f6b2f8347a47641a617 100644
--- a/plat/nvidia/tegra/soc/t194/plat_smmu.c
+++ b/plat/nvidia/tegra/soc/t194/plat_smmu.c
@@ -428,7 +428,7 @@ uint32_t plat_get_num_smmu_devices(void)
 {
 	uint32_t ret_num = MAX_NUM_SMMU_DEVICES;
 	uint32_t board_revid = ((tegra_misc_read_32(MISCREG_EMU_REVID) >> \
-							BOARD_SHIFT_BITS) && BOARD_MASK_BITS);
+							BOARD_SHIFT_BITS) & BOARD_MASK_BITS);
 
 	if (board_revid == BOARD_SYSTEM_FPGA_BASE) {
 		ret_num = BASE_CONFIG_SMMU_DEVICES;