From 0c7ec92bedba723b8279312fd62c0f6e43e4e53b Mon Sep 17 00:00:00 2001
From: hujun5 <hujun5@xiaomi.com>
Date: Mon, 11 Nov 2024 14:50:23 +0800
Subject: [PATCH] fix compiler error

---
 include/nuttx/wdog.h             | 1 +
 sched/sched/sched_processtimer.c | 4 ++++
 2 files changed, 5 insertions(+)

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"