diff --git a/c/src/lib/libbsp/arm/shared/armv7m/clock/armv7m-clock-config.c b/c/src/lib/libbsp/arm/shared/armv7m/clock/armv7m-clock-config.c
index b27d5a633f..1afa7b0099 100644
--- a/c/src/lib/libbsp/arm/shared/armv7m/clock/armv7m-clock-config.c
+++ b/c/src/lib/libbsp/arm/shared/armv7m/clock/armv7m-clock-config.c
@@ -16,11 +16,12 @@
 #include <rtems/score/armv7m.h>
 
 #include <bsp.h>
+#include <bsp/irq.h>
 
 #ifdef ARM_MULTILIB_ARCH_V7M
 
 /* This is defined in clockdrv_shell.h */
-static rtems_isr Clock_isr(void *arg);
+void Clock_isr(rtems_irq_hdl_param arg);
 
 #define _ARMV7M_Systick_get_factor(freq) \
   ((1000000000ULL << 32) / (freq))