diff --git a/lib/system/nuttx/irq.c b/lib/system/nuttx/irq.c
index 64cf5350..34e0edbf 100644
--- a/lib/system/nuttx/irq.c
+++ b/lib/system/nuttx/irq.c
@@ -12,6 +12,7 @@
 #include <metal/errno.h>
 #include <metal/irq_controller.h>
 #include <metal/alloc.h>
+#include <nuttx/arch.h>
 #include <nuttx/irq.h>
 
 unsigned int metal_irq_save_disable(void)