diff --git a/c/src/lib/libbsp/shared/clockdrv_shell.h b/c/src/lib/libbsp/shared/clockdrv_shell.h
index 35b5f8d156..2afd3b2375 100644
--- a/c/src/lib/libbsp/shared/clockdrv_shell.h
+++ b/c/src/lib/libbsp/shared/clockdrv_shell.h
@@ -57,8 +57,7 @@ void Clock_exit( void );
  *  Return values:      NONE
  */
 #ifdef BSP_FEATURE_IRQ_EXTENSION
-void Clock_isr(rtems_irq_hdl_param arg);
-void Clock_isr(rtems_irq_hdl_param arg)
+void Clock_isr(void *arg)
 {
 #else 
 rtems_isr Clock_isr(rtems_vector_number vector);