diff --git a/include/nuttx/wdog.h b/include/nuttx/wdog.h
index 84f7f6a3ad9..04b1e3415b4 100644
--- a/include/nuttx/wdog.h
+++ b/include/nuttx/wdog.h
@@ -31,6 +31,7 @@
 
 #include <nuttx/compiler.h>
 #include <nuttx/clock.h>
+#include <nuttx/irq.h>
 #include <stdint.h>
 
 /****************************************************************************
diff --git a/sched/sched/sched_processtimer.c b/sched/sched/sched_processtimer.c
index 0de54a4038f..abea66b666b 100644
--- a/sched/sched/sched_processtimer.c
+++ b/sched/sched/sched_processtimer.c
@@ -37,6 +37,10 @@
 #  include <nuttx/board.h>
 #endif
 
+#ifdef CONFIG_CLOCK_TIMEKEEPING
+#  include "clock/clock_timekeeping.h"
+#endif
+
 #include "sched/sched.h"
 #include "wdog/wdog.h"
 #include "clock/clock.h"