From ae4865cf54b4b89d99f022f3fd9ce62a9144e476 Mon Sep 17 00:00:00 2001
From: yanghuatao <yanghuatao@xiaomi.com>
Date: Thu, 11 Apr 2024 11:12:19 +0800
Subject: [PATCH] nuttx/timers: Fix green hills build timer.h error

"/mnt/yang/qixinwei_commit/nuttx/include/nuttx/timers/timer.h", line 257: error #223-D:
          function DEBUGASSERT declared implicitly
    DEBUGASSERT(lower->ops->tick_getstatus);

Signed-off-by: yanghuatao <yanghuatao@xiaomi.com>
---
 include/nuttx/timers/timer.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/nuttx/timers/timer.h b/include/nuttx/timers/timer.h
index aedc753f9bd57..b311d96cb7b42 100644
--- a/include/nuttx/timers/timer.h
+++ b/include/nuttx/timers/timer.h
@@ -33,6 +33,7 @@
 #include <signal.h>
 #include <stdbool.h>
 #include <sys/types.h>
+#include <assert.h>
 
 #ifdef CONFIG_TIMER