diff --git a/common/fdt_fixup.c b/common/fdt_fixup.c
index a1604e74f7c6e81298033f3b41ebe954f0baa4b8..e88a5500800a3873aaaec086d3f8782e155f5680 100644
--- a/common/fdt_fixup.c
+++ b/common/fdt_fixup.c
@@ -425,7 +425,8 @@ int fdt_adjust_gic_redist(void *dtb, unsigned int nr_cores,
 		redist_size_32 = cpu_to_fdt32(nr_cores * gicr_frame_size);
 		val = &redist_size_32;
 	} else {
-		redist_size_64 = cpu_to_fdt64(nr_cores * gicr_frame_size);
+		redist_size_64 = cpu_to_fdt64(nr_cores *
+					      (uint64_t)gicr_frame_size);
 		val = &redist_size_64;
 	}