2 files changed, 3 insertions, 3 deletions
diff --git a/src/generic/armcm_irq.c b/src/generic/armcm_irq.c
index 9c01ab0d..7778c389 100644
--- a/src/generic/armcm_irq.c
+++ b/src/generic/armcm_irq.c
@@ -40,7 +40,7 @@ irq_poll(void)
 }
 
 // Clear the active irq if a shutdown happened in an irq handler
-static void
+void
 clear_active_irq(void)
 {
     uint32_t psr;
diff --git a/src/generic/timer_irq.c b/src/generic/timer_irq.c
index 69f4e64a..07161eee 100644
--- a/src/generic/timer_irq.c
+++ b/src/generic/timer_irq.c
@@ -82,7 +82,7 @@ timer_dispatch_many(void)
 
 // Periodic background task that temporarily boosts priority of
 // timers.  This helps prioritize timers when tasks are idling.
-static void
+void
 timer_task(void)
 {
     irq_disable();
@@ -91,7 +91,7 @@ timer_task(void)
 }
 DECL_TASK(timer_task);
 
-static void
+void
 timer_irq_shutdown(void)
 {
     timer_repeat_until = timer_read_time() + TIMER_IDLE_REPEAT_TICKS;