diff --git a/bsps/arm/xilinx-zynq/start/bspsmp.c b/bsps/arm/xilinx-zynq/start/bspsmp.c
index cc1b75df42..bd9b87cc3a 100644
--- a/bsps/arm/xilinx-zynq/start/bspsmp.c
+++ b/bsps/arm/xilinx-zynq/start/bspsmp.c
@@ -44,6 +44,7 @@ bool _CPU_SMP_Start_processor(uint32_t cpu_index)
   volatile uint32_t* const kick_address = (uint32_t*) 0xfffffff0UL;
 
   _Assert(cpu_index == 1);
+  (void) cpu_index;
 
   /*
    * Enable the second CPU.