diff --git a/arch/arm/src/common/up_undefinedinsn.c b/arch/arm/src/common/up_undefinedinsn.c
index 261118ec7f..086f443e31 100644
--- a/arch/arm/src/common/up_undefinedinsn.c
+++ b/arch/arm/src/common/up_undefinedinsn.c
@@ -39,6 +39,8 @@
 
 #include <nuttx/config.h>
 #include <sys/types.h>
+#include <debug.h>
+
 #include "os_internal.h"
 #include "up_internal.h"