diff --git a/bsps/arm/xilinx-zynq/start/bspsmp.c b/bsps/arm/xilinx-zynq/start/bspsmp.c
index cc1b75df42..c4bd00240b 100644
--- a/bsps/arm/xilinx-zynq/start/bspsmp.c
+++ b/bsps/arm/xilinx-zynq/start/bspsmp.c
@@ -41,6 +41,8 @@
 
 bool _CPU_SMP_Start_processor(uint32_t cpu_index)
 {
+  (void) cpu_index;
+
   volatile uint32_t* const kick_address = (uint32_t*) 0xfffffff0UL;
 
   _Assert(cpu_index == 1);