From 236678d730220138416724d2cab25d6e1bd2ce9d Mon Sep 17 00:00:00 2001 From: yanghuatao Date: Tue, 23 Apr 2024 19:00:13 +0800 Subject: [PATCH] toolchain/ghs: Fix CONFIG_SCHED_CRITMONITOR_MAXTIME_XXX "zero used for undefined preprocessing identifier" warnings "~/nuttx/include/nuttx/sched.h", line 631: warning #193-D: zero used for undefined preprocessing identifier "CONFIG_SCHED_CRITMONITOR_MAXTIME_THREAD" #if CONFIG_SCHED_CRITMONITOR_MAXTIME_THREAD >= 0 ^ "~/nuttx/include/nuttx/sched.h", line 637: warning #193-D: zero used for undefined preprocessing identifier "CONFIG_SCHED_CRITMONITOR_MAXTIME_PREEMPTION" #if CONFIG_SCHED_CRITMONITOR_MAXTIME_PREEMPTION >= 0 ^ "~/nuttx/include/nuttx/sched.h", line 642: warning #193-D: zero used for undefined preprocessing identifier "CONFIG_SCHED_CRITMONITOR_MAXTIME_CSECTION" #if CONFIG_SCHED_CRITMONITOR_MAXTIME_CSECTION >= 0 ^ "~/nuttx/include/nuttx/sched.h", line 789: warning #193-D: zero used for undefined preprocessing identifier "CONFIG_SCHED_CRITMONITOR_MAXTIME_PREEMPTION" #if CONFIG_SCHED_CRITMONITOR_MAXTIME_PREEMPTION >= 0 ^ "~/nuttx/include/nuttx/sched.h", line 793: warning #193-D: zero used for undefined preprocessing identifier "CONFIG_SCHED_CRITMONITOR_MAXTIME_CSECTION" #if CONFIG_SCHED_CRITMONITOR_MAXTIME_CSECTION >= 0 ^ "~/nuttx/include/nuttx/sched.h", line 631: warning #193-D: zero used for undefined preprocessing identifier "CONFIG_SCHED_CRITMONITOR_MAXTIME_THREAD" #if CONFIG_SCHED_CRITMONITOR_MAXTIME_THREAD >= 0 ^ "~/nuttx/include/nuttx/sched.h", line 637: warning #193-D: zero used for undefined preprocessing identifier "CONFIG_SCHED_CRITMONITOR_MAXTIME_PREEMPTION" #if CONFIG_SCHED_CRITMONITOR_MAXTIME_PREEMPTION >= 0 ^ "~/nuttx/include/nuttx/sched.h", line 642: warning #193-D: zero used for undefined preprocessing identifier "CONFIG_SCHED_CRITMONITOR_MAXTIME_CSECTION" #if CONFIG_SCHED_CRITMONITOR_MAXTIME_CSECTION >= 0 ^ "~/nuttx/include/nuttx/sched.h", line 789: warning #193-D: zero used for undefined preprocessing identifier "CONFIG_SCHED_CRITMONITOR_MAXTIME_PREEMPTION" #if CONFIG_SCHED_CRITMONITOR_MAXTIME_PREEMPTION >= 0 ^ "~/nuttx/include/nuttx/sched.h", line 793: warning #193-D: zero used for undefined preprocessing identifier "CONFIG_SCHED_CRITMONITOR_MAXTIME_CSECTION" #if CONFIG_SCHED_CRITMONITOR_MAXTIME_CSECTION >= 0 Signed-off-by: yanghuatao --- include/nuttx/sched.h | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/include/nuttx/sched.h b/include/nuttx/sched.h index bf844ed7ed5..a6496af2f22 100644 --- a/include/nuttx/sched.h +++ b/include/nuttx/sched.h @@ -72,6 +72,18 @@ # define CONFIG_SCHED_SPORADIC_MAXREPL 3 #endif +#ifndef CONFIG_SCHED_CRITMONITOR_MAXTIME_THREAD +# define CONFIG_SCHED_CRITMONITOR_MAXTIME_THREAD -1 +#endif + +#ifndef CONFIG_SCHED_CRITMONITOR_MAXTIME_PREEMPTION +# define CONFIG_SCHED_CRITMONITOR_MAXTIME_PREEMPTION -1 +#endif + +#ifndef CONFIG_SCHED_CRITMONITOR_MAXTIME_CSECTION +# define CONFIG_SCHED_CRITMONITOR_MAXTIME_CSECTION -1 +#endif + /* Task Management Definitions **********************************************/ /* Special task IDS. Any negative PID is invalid. */