diff --git a/ports/stm32/powerctrlboot.c b/ports/stm32/powerctrlboot.c
index 749cb5505c..206b19b750 100644
--- a/ports/stm32/powerctrlboot.c
+++ b/ports/stm32/powerctrlboot.c
@@ -25,6 +25,7 @@
  */
 
 #include "py/mphal.h"
+#include "irq.h"
 #include "powerctrl.h"
 
 static inline void powerctrl_config_systick(void) {