diff --git a/common/fdt_fixup.c b/common/fdt_fixup.c
index a1604e7..e88a550 100644
--- a/common/fdt_fixup.c
+++ b/common/fdt_fixup.c
@@ -425,7 +425,8 @@
 		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;
 	}