Implemented system state checker debug option, remove the option CH_USE_NESTED_LOCKS. Documentation improvements and fixes.

git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@3221 35acf78f-673a-0410-8e92-d51de3d6d3f4

8 files changed, 317 insertions, 114 deletions

diff --git a/os/kernel/include/chdebug.h b/os/kernel/include/chdebug.h
index b2edf176e..3bfadb750 100644
--- a/os/kernel/include/chdebug.h
+++ b/os/kernel/include/chdebug.h
@@ -29,15 +29,31 @@
 #ifndef _CHDEBUG_H_

 #define _CHDEBUG_H_

 

+#if CH_DBG_ENABLE_ASSERTS     || CH_DBG_ENABLE_CHECKS      ||               \

+    CH_DBG_ENABLE_STACK_CHECK || CH_DBG_SYSTEM_STATE_CHECK

+#define CH_DBG_ENABLED              TRUE

+#else

+#define CH_DBG_ENABLED              FALSE

+#endif

+

+#define __QUOTE_THIS(p) #p

+

+/*===========================================================================*/

 /**

- * @brief Trace buffer entries.

+ * @name    Debug related settings

+ * @{

+ */

+/*===========================================================================*/

+

+/**

+ * @brief   Trace buffer entries.

  */

 #ifndef CH_TRACE_BUFFER_SIZE

 #define CH_TRACE_BUFFER_SIZE        64

 #endif

 

 /**

- * @brief Fill value for thread stack area in debug mode.

+ * @brief   Fill value for thread stack area in debug mode.

  */

 #ifndef CH_STACK_FILL_VALUE

 #define CH_STACK_FILL_VALUE         0x55

@@ -54,11 +70,31 @@
 #define CH_THREAD_FILL_VALUE        0xFF

 #endif

 

-#define __QUOTE_THIS(p) #p

+/** @} */

+

+/*===========================================================================*/

+/* System state checker related code and variables.                          */

+/*===========================================================================*/

+

+#if !CH_DBG_SYSTEM_STATE_CHECK

+#define dbg_check_disable()

+#define dbg_check_suspend()

+#define dbg_check_enable()

+#define dbg_check_lock()

+#define dbg_check_unlock()

+#define dbg_check_lock_from_isr()

+#define dbg_check_unlock_from_isr()

+#define dbg_check_enter_isr()

+#define dbg_check_leave_isr()

+#endif

+

+/*===========================================================================*/

+/* Trace related structures and macros.                                      */

+/*===========================================================================*/

 

 #if CH_DBG_ENABLE_TRACE || defined(__DOXYGEN__)

 /**

- * @brief Trace buffer record.

+ * @brief   Trace buffer record.

  */

 typedef struct {

   systime_t             se_time;    /**< @brief Time of the switch event.   */

@@ -68,7 +104,7 @@ typedef struct {
 } ch_swc_event_t;

 

 /**

- * @brief Trace buffer header.

+ * @brief   Trace buffer header.

  */

 typedef struct {

   unsigned              tb_size;    /**< @brief Trace buffer size (entries).*/

@@ -76,9 +112,25 @@ typedef struct {
   /** @brief Ring buffer.*/

   ch_swc_event_t        tb_buffer[CH_TRACE_BUFFER_SIZE];

 } ch_trace_buffer_t;

+

+#if !defined(__DOXYGEN__)

+extern ch_trace_buffer_t dbg_trace_buffer;

+#endif

+

 #endif /* CH_DBG_ENABLE_TRACE */

 

+#if !CH_DBG_ENABLE_TRACE

+/* When the trace feature is disabled this function is replaced by an empty

+   macro.*/

+#define dbg_trace(otp)

+#endif

+

+/*===========================================================================*/

+/* Parameters checking related macros.                                       */

+/*===========================================================================*/

+

 #if CH_DBG_ENABLE_CHECKS || defined(__DOXYGEN__)

+

 /**

  * @brief   Function parameter check.

  * @details If the condition check fails then the kernel panics and halts.

@@ -102,6 +154,10 @@ typedef struct {
 }

 #endif /* !CH_DBG_ENABLE_CHECKS */

 

+/*===========================================================================*/

+/* Assertions related macros.                                                */

+/*===========================================================================*/

+

 #if CH_DBG_ENABLE_ASSERTS || defined(__DOXYGEN__)

 /**

  * @brief   Condition assertion.

@@ -130,37 +186,42 @@ typedef struct {
 #define chDbgAssert(c, m, r) {(void)(c);}

 #endif /* !CH_DBG_ENABLE_ASSERTS */

 

-#if !(CH_DBG_ENABLE_ASSERTS ||                                          \

-      CH_DBG_ENABLE_CHECKS ||                                           \

-      CH_DBG_ENABLE_STACK_CHECK)

+extern char *dbg_panic_msg;

+

+/*===========================================================================*/

+/* Panic related macros.                                                     */

+/*===========================================================================*/

+

+#if !CH_DBG_ENABLED

 /* When the debug features are disabled this function is replaced by an empty

    macro.*/

 #define chDbgPanic(msg) {}

 #endif

 

-#if !CH_DBG_ENABLE_TRACE

-/* When the trace feature is disabled this function is replaced by an empty

-   macro.*/

-#define chDbgTrace(otp) {}

-#endif

-

-#if !defined(__DOXYGEN__)

 #ifdef __cplusplus

 extern "C" {

 #endif

+#if CH_DBG_SYSTEM_STATE_CHECK

+  void dbg_check_disable(void);

+  void dbg_check_suspend(void);

+  void dbg_check_enable(void);

+  void dbg_check_lock(void);

+  void dbg_check_unlock(void);

+  void dbg_check_lock_from_isr(void);

+  void dbg_check_unlock_from_isr(void);

+  void dbg_check_enter_isr(void);

+  void dbg_check_leave_isr(void);

+#endif

 #if CH_DBG_ENABLE_TRACE || defined(__DOXYGEN__)

-  extern ch_trace_buffer_t dbg_trace_buffer;

   void _trace_init(void);

-  void chDbgTrace(Thread *otp);

+  void dbg_trace(Thread *otp);

 #endif

-#if CH_DBG_ENABLE_ASSERTS || CH_DBG_ENABLE_CHECKS || CH_DBG_ENABLE_STACK_CHECK

-  extern char *dbg_panic_msg;

+#if CH_DBG_ENABLED

   void chDbgPanic(char *msg);

 #endif

 #ifdef __cplusplus

 }

 #endif

-#endif /* !defined(__DOXYGEN__) */

 

 #endif /* _CHDEBUG_H_ */

 

diff --git a/os/kernel/include/chsys.h b/os/kernel/include/chsys.h
index 37d4cd7ce..994b1301f 100644
--- a/os/kernel/include/chsys.h
+++ b/os/kernel/include/chsys.h
@@ -73,7 +73,10 @@
  *

  * @special

  */

-#define chSysSwitchI(ntp, otp) port_switch(ntp, otp)

+#define chSysSwitchI(ntp, otp) {                                            \

+  dbg_trace(otp);                                                           \

+  port_switch(ntp, otp);                                                    \

+}

 

 /**

  * @brief   Raises the system interrupt priority mask to the maximum level.

@@ -83,7 +86,10 @@
  *

  * @special

  */

-#define chSysDisable() port_disable()

+#define chSysDisable() {                                                    \

+  port_disable();                                                           \

+  dbg_check_disable();                                                      \

+}

 

 /**

  * @brief   Raises the system interrupt priority mask to system level.

@@ -96,7 +102,10 @@
  *

  * @special

  */

-#define chSysSuspend() port_suspend()

+#define chSysSuspend() {                                                    \

+  port_suspend();                                                           \

+  dbg_check_suspend();                                                      \

+}

 

 /**

  * @brief   Lowers the system interrupt priority mask to user level.

@@ -107,45 +116,30 @@
  *

  * @special

  */

-#define chSysEnable() port_enable()

+#define chSysEnable() {                                                     \

+  dbg_check_enable();                                                       \

+  port_enable();                                                            \

+}

 

 /**

  * @brief   Enters the kernel lock mode.

- * @note    The use of kernel lock mode is not recommended in the user code,

- *          it is a better idea to use the semaphores or mutexes instead.

- * @see     CH_USE_NESTED_LOCKS

  *

  * @special

  */

-#if CH_USE_NESTED_LOCKS || defined(__DOXYGEN__)

-#if CH_OPTIMIZE_SPEED || defined(__DOXYGEN__)

-#define chSysLock() {                                                   \

-  if (currp->p_locks++ == 0)                                            \

-    port_lock();                                                        \

+#define chSysLock()  {                                                      \

+  port_lock();                                                              \

+  dbg_check_lock();                                                         \

 }

-#endif /* CH_OPTIMIZE_SPEED */

-#else /* !CH_USE_NESTED_LOCKS */

-#define chSysLock() port_lock()

-#endif /* !CH_USE_NESTED_LOCKS */

 

 /**

  * @brief   Leaves the kernel lock mode.

- * @note    The use of kernel lock mode is not recommended in the user code,

- *          it is a better idea to use the semaphores or mutexes instead.

- * @see     CH_USE_NESTED_LOCKS

  *

  * @special

  */

-#if CH_USE_NESTED_LOCKS || defined(__DOXYGEN__)

-#if CH_OPTIMIZE_SPEED || defined(__DOXYGEN__)

-#define chSysUnlock() {                                                 \

-  if (--currp->p_locks == 0)                                            \

-    port_unlock();                                                      \

+#define chSysUnlock() {                                                     \

+  dbg_check_unlock();                                                       \

+  port_unlock();                                                            \

 }

-#endif /* CH_OPTIMIZE_SPEED */

-#else /* !CH_USE_NESTED_LOCKS */

-#define chSysUnlock() port_unlock()

-#endif /* !CH_USE_NESTED_LOCKS */

 

 /**

  * @brief   Enters the kernel lock mode from within an interrupt handler.

@@ -159,7 +153,10 @@
  *

  * @special

  */

-#define chSysLockFromIsr() port_lock_from_isr()

+#define chSysLockFromIsr() {                                                \

+  port_lock_from_isr();                                                     \

+  dbg_check_lock_from_isr();                                                \

+}

 

 /**

  * @brief   Leaves the kernel lock mode from within an interrupt handler.

@@ -174,14 +171,20 @@
  *

  * @special

  */

-#define chSysUnlockFromIsr() port_unlock_from_isr()

+#define chSysUnlockFromIsr() {                                              \

+  dbg_check_unlock_from_isr();                                              \

+  port_unlock_from_isr();                                                   \

+}

 

 /**

  * @brief   IRQ handler enter code.

  * @note    Usually IRQ handlers functions are also declared naked.

  * @note    On some architectures this macro can be empty.

  */

-#define CH_IRQ_PROLOGUE() PORT_IRQ_PROLOGUE()

+#define CH_IRQ_PROLOGUE() {                                                 \

+  PORT_IRQ_PROLOGUE();                                                      \

+  dbg_check_enter_isr();                                                    \

+}

 

 /**

  * @brief   IRQ handler exit code.

@@ -189,7 +192,10 @@
  * @note    This macro usually performs the final reschedule by using

  *          @p chSchRescRequiredI() and @p chSchDoRescheduleI().

  */

-#define CH_IRQ_EPILOGUE() PORT_IRQ_EPILOGUE()

+#define CH_IRQ_EPILOGUE() {                                                 \

+  dbg_check_leave_isr();                                                    \

+  PORT_IRQ_EPILOGUE();                                                      \

+}

 

 /**

  * @brief   Standard normal IRQ handler declaration.

@@ -211,10 +217,6 @@ extern "C" {
 #endif

   void chSysInit(void);

   void chSysTimerHandlerI(void);

-#if CH_USE_NESTED_LOCKS && !CH_OPTIMIZE_SPEED

-  void chSysLock(void);

-  void chSysUnlock(void);

-#endif /* CH_USE_NESTED_LOCKS && !CH_OPTIMIZE_SPEED */

 #ifdef __cplusplus

 }

 #endif

diff --git a/os/kernel/include/chthreads.h b/os/kernel/include/chthreads.h
index b02960bd4..a0a668df4 100644
--- a/os/kernel/include/chthreads.h
+++ b/os/kernel/include/chthreads.h
@@ -75,12 +75,6 @@ struct Thread {
    */

   trefs_t               p_refs;

 #endif

-#if CH_USE_NESTED_LOCKS || defined(__DOXYGEN__)

-  /**

-   * @brief Number of nested locks.

-   */

-  cnt_t                 p_locks;

-#endif

 #if CH_DBG_THREADS_PROFILING || defined(__DOXYGEN__)

   /**

    * @brief Thread consumed time in ticks.

diff --git a/os/kernel/src/chdebug.c b/os/kernel/src/chdebug.c
index 0e378cc6d..28d4f7520 100644
--- a/os/kernel/src/chdebug.c
+++ b/os/kernel/src/chdebug.c
@@ -24,18 +24,161 @@
  *

  * @addtogroup debug

  * @details Debug APIs and services:

+ *          - Runtime system state and call protocol check. The following

+ *            panic messages can be generated:

+ *            - SV#1, misplaced @p chSysDisable().

+ *            - SV#2, misplaced @p chSysSuspend()

+ *            - SV#3, misplaced @p chSysEnable().

+ *            - SV#4, misplaced @p chSysLock().

+ *            - SV#5, misplaced @p chSysUnlock().

+ *            - SV#6, misplaced @p chSysLockFromIsr().

+ *            - SV#7, misplaced @p chSysUnlockFromIsr().

+ *            - SV#8, misplaced @p CH_IRQ_PROLOGUE().

+ *            - SV#9, misplaced @p CH_IRQ_EPILOGUE().

+ *            .

  *          - Trace buffer.

  *          - Parameters check.

  *          - Kernel assertions.

+ *          - Kernel panics.

  *          .

- * @pre     In order to use the debug APIs the @p CH_DBG_ENABLE_TRACE,

- *          @p CH_DBG_ENABLE_ASSERTS, @p CH_DBG_ENABLE_CHECKS options must

- *          be enabled in @p chconf.h.

+ * @note    Stack checks are not implemented in this module but in the port

+ *          layer in an architecture-dependent way.

  * @{

  */

 

 #include "ch.h"

 

+/*===========================================================================*/

+/* System state checker related code and variables.                          */

+/*===========================================================================*/

+

+#if CH_DBG_SYSTEM_STATE_CHECK || defined(__DOXYGEN__)

+

+/**

+ * @brief   ISR nesting level.

+ */

+cnt_t dbg_isr_cnt;

+

+/**

+ * @brief   Lock nesting level.

+ */

+cnt_t dbg_lock_cnt;

+

+/**

+ * @brief   Guard code for @p chSysDisable().

+ *

+ * @notapi

+ */

+void dbg_check_disable(void) {

+

+  if ((dbg_isr_cnt != 0) || (dbg_lock_cnt != 0))

+    chDbgPanic("SV#1");

+}

+

+/**

+ * @brief   Guard code for @p chSysSuspend().

+ *

+ * @notapi

+ */

+void dbg_check_suspend(void) {

+

+  if ((dbg_isr_cnt != 0) || (dbg_lock_cnt != 0))

+    chDbgPanic("SV#2");

+}

+

+/**

+ * @brief   Guard code for @p chSysEnable().

+ *

+ * @notapi

+ */

+void dbg_check_enable(void) {

+

+  if ((dbg_isr_cnt != 0) || (dbg_lock_cnt != 0))

+    chDbgPanic("SV#3");

+}

+

+/**

+ * @brief   Guard code for @p chSysLock().

+ *

+ * @notapi

+ */

+void dbg_check_lock(void) {

+

+  if ((dbg_isr_cnt != 0) || (dbg_lock_cnt != 0))

+    chDbgPanic("SV#4");

+  dbg_lock_cnt = 1;

+}

+

+/**

+ * @brief   Guard code for @p chSysUnlock().

+ *

+ * @notapi

+ */

+void dbg_check_unlock(void) {

+

+  if ((dbg_isr_cnt != 0) || (dbg_lock_cnt <= 0))

+    chDbgPanic("SV#5");

+  dbg_lock_cnt = 0;

+}

+

+/**

+ * @brief   Guard code for @p chSysLockFromIsr().

+ *

+ * @notapi

+ */

+void dbg_check_lock_from_isr(void) {

+

+  if ((dbg_isr_cnt <= 0) || (dbg_lock_cnt != 0))

+    chDbgPanic("SV#6");

+  dbg_lock_cnt = 1;

+}

+

+/**

+ * @brief   Guard code for @p chSysUnlockFromIsr().

+ *

+ * @notapi

+ */

+void dbg_check_unlock_from_isr(void) {

+

+  if ((dbg_isr_cnt <= 0) || (dbg_lock_cnt <= 0))

+    chDbgPanic("SV#7");

+  dbg_lock_cnt = 0;

+}

+

+/**

+ * @brief   Guard code for @p CH_IRQ_PROLOGUE().

+ *

+ * @notapi

+ */

+void dbg_check_enter_isr(void) {

+

+  port_lock_from_isr();

+  if (dbg_isr_cnt < 0)

+    chDbgPanic("SV#8");

+  dbg_isr_cnt++;

+  port_unlock_from_isr();

+}

+

+/**

+ * @brief   Guard code for @p CH_IRQ_EPILOGUE().

+ *

+ * @notapi

+ */

+void dbg_check_leave_isr(void) {

+

+  port_lock_from_isr();

+  if (dbg_isr_cnt <= 0)

+    chDbgPanic("SV#9");

+  dbg_isr_cnt--;

+  port_unlock_from_isr();

+}

+

+#endif /* CH_DBG_SYSTEM_STATE_CHECK */

+

+/*===========================================================================*/

+/* Trace related code and variables.                                         */

+/*===========================================================================*/

+

 #if CH_DBG_ENABLE_TRACE || defined(__DOXYGEN__)

 /**

  * @brief   Public trace buffer.

@@ -59,7 +202,7 @@ void _trace_init(void) {
  *

  * @notapi

  */

-void chDbgTrace(Thread *otp) {

+void dbg_trace(Thread *otp) {

 

   dbg_trace_buffer.tb_ptr->se_time   = chTimeNow();

   dbg_trace_buffer.tb_ptr->se_tp     = currp;

@@ -71,13 +214,15 @@ void chDbgTrace(Thread *otp) {
 }

 #endif /* CH_DBG_ENABLE_TRACE */

 

-#if CH_DBG_ENABLE_ASSERTS || CH_DBG_ENABLE_CHECKS ||                        \

-    CH_DBG_ENABLE_STACK_CHECK || defined(__DOXYGEN__)

+/*===========================================================================*/

+/* Panic related code and variables.                                         */

+/*===========================================================================*/

+

+#if CH_DBG_ENABLED || defined(__DOXYGEN__)

 /**

  * @brief   Pointer to the panic message.

  * @details This pointer is meant to be accessed through the debugger, it is

- *          written once and then the system is halted. This variable can be

- *          set to @p NULL if the halt is caused by a stack overflow.

+ *          written once and then the system is halted.

  */

 char *dbg_panic_msg;

 

@@ -91,6 +236,6 @@ void chDbgPanic(char *msg) {
   dbg_panic_msg = msg;

   chSysHalt();

 }

-#endif /* CH_DBG_ENABLE_ASSERTS || CH_DBG_ENABLE_CHECKS || CH_DBG_ENABLE_STACK_CHECK */

+#endif /* CH_DBG_ENABLED */

 

 /** @} */

diff --git a/os/kernel/src/chmtx.c b/os/kernel/src/chmtx.c
index df71d1cc6..21b92e388 100644
--- a/os/kernel/src/chmtx.c
+++ b/os/kernel/src/chmtx.c
@@ -157,6 +157,7 @@ void chMtxLockS(Mutex *mp) {
 #endif

         /* Re-enqueues tp with its new priority on the ready list.*/

         chSchReadyI(dequeue(tp));

+        break;

       }

       break;

     }

diff --git a/os/kernel/src/chschd.c b/os/kernel/src/chschd.c
index d41649b4c..e989f4039 100644
--- a/os/kernel/src/chschd.c
+++ b/os/kernel/src/chschd.c
@@ -113,7 +113,6 @@ void chSchGoSleepS(tstate_t newstate) {
 #endif

   setcurrp(fifo_remove(&rlist.r_queue));

   currp->p_state = THD_STATE_CURRENT;

-  chDbgTrace(otp);

   chSysSwitchI(currp, otp);

 }

 #endif /* !defined(PORT_OPTIMIZED_GOSLEEPS) */

@@ -222,7 +221,6 @@ void chSchWakeupS(Thread *ntp, msg_t msg) {
 #endif

     setcurrp(ntp);

     ntp->p_state = THD_STATE_CURRENT;

-    chDbgTrace(otp);

     chSysSwitchI(ntp, otp);

   }

 }

@@ -247,7 +245,6 @@ void chSchDoRescheduleI(void) {
   setcurrp(fifo_remove(&rlist.r_queue));

   currp->p_state = THD_STATE_CURRENT;

   chSchReadyI(otp);

-  chDbgTrace(otp);

   chSysSwitchI(currp, otp);

 }

 #endif /* !defined(PORT_OPTIMIZED_DORESCHEDULEI) */

diff --git a/os/kernel/src/chsys.c b/os/kernel/src/chsys.c
index 4c8cd708d..6c63e113f 100644
--- a/os/kernel/src/chsys.c
+++ b/os/kernel/src/chsys.c
@@ -98,6 +98,8 @@ void chSysInit(void) {
   setcurrp(_thread_init(&mainthread, NORMALPRIO));

   currp->p_state = THD_STATE_CURRENT;

 #if CH_DBG_ENABLE_STACK_CHECK

+  /* This is a special case because the main thread Thread structure is not

+     adjacent to its stack area.*/

   currp->p_stklimit = &__main_thread_stack_base__;

 #endif

   chSysEnable();

@@ -141,24 +143,4 @@ void chSysTimerHandlerI(void) {
 #endif

 }

 

-#if CH_USE_NESTED_LOCKS && !CH_OPTIMIZE_SPEED

-void chSysLock(void) {

-

-  chDbgAssert(currp->p_locks >= 0,

-              "chSysLock(), #1",

-              "negative nesting counter");

-  if (currp->p_locks++ == 0)

-    port_lock();

-}

-

-void chSysUnlock(void) {

-

-  chDbgAssert(currp->p_locks > 0,

-              "chSysUnlock(), #1",

-              "non-positive nesting counter");

-  if (--currp->p_locks == 0)

-    port_unlock();

-}

-#endif /* CH_USE_NESTED_LOCKS && !CH_OPTIMIZE_SPEED */

-

 /** @} */

diff --git a/os/kernel/templates/chconf.h b/os/kernel/templates/chconf.h
index c9c4c286a..6a365d96a 100644
--- a/os/kernel/templates/chconf.h
+++ b/os/kernel/templates/chconf.h
@@ -33,7 +33,10 @@
 #define _CHCONF_H_

 

 /*===========================================================================*/

-/* Kernel parameters.                                                        */

+/**

+ * @name Kernel parameters and options

+ * @{

+ */

 /*===========================================================================*/

 

 /**

@@ -61,21 +64,6 @@
 #endif

 

 /**

- * @brief   Nested locks.

- * @details If enabled then the use of nested @p chSysLock() / @p chSysUnlock()

- *          operations is allowed.<br>

- *          For performance and code size reasons the recommended setting

- *          is to leave this option disabled.<br>

- *          You may use this option if you need to merge ChibiOS/RT with

- *          external libraries that require nested lock/unlock operations.

- *

- * @note    The default is @p FALSE.

- */

-#if !defined(CH_USE_NESTED_LOCKS) || defined(__DOXYGEN__)

-#define CH_USE_NESTED_LOCKS             FALSE

-#endif

-

-/**

  * @brief   Managed RAM size.

  * @details Size of the RAM area to be managed by the OS. If set to zero

  *          then the whole available RAM is used. The core memory is made

@@ -107,8 +95,13 @@
 #define CH_NO_IDLE_THREAD               FALSE

 #endif

 

+/** @} */

+

 /*===========================================================================*/

-/* Performance options.                                                      */

+/**

+ * @name Performance options

+ * @{

+ */

 /*===========================================================================*/

 

 /**

@@ -123,8 +116,13 @@
 #define CH_OPTIMIZE_SPEED               TRUE

 #endif

 

+/** @} */

+

 /*===========================================================================*/

-/* Subsystem options.                                                        */

+/**

+ * @name Subsystem options

+ * @{

+ */

 /*===========================================================================*/

 

 /**

@@ -346,11 +344,27 @@
 #define CH_USE_DYNAMIC                  TRUE

 #endif

 

+/** @} */

+

 /*===========================================================================*/

-/* Debug options.                                                            */

+/**

+ * @name Debug options

+ * @{

+ */

 /*===========================================================================*/

 

 /**

+ * @brief   Debug option, system state check.

+ * @details If enabled the correct call protocol for system APIs is checked

+ *          at runtime.

+ *

+ * @note    The default is @p FALSE.

+ */

+#if !defined(CH_DBG_SYSTEM_STATE_CHECK) || defined(__DOXYGEN__)

+#define CH_DBG_SYSTEM_STATE_CHECK       FALSE

+#endif

+

+/**

  * @brief   Debug option, parameters checks.

  * @details If enabled then the checks on the API functions input

  *          parameters are activated.

@@ -423,8 +437,13 @@
 #define CH_DBG_THREADS_PROFILING        TRUE

 #endif

 

+/** @} */

+

 /*===========================================================================*/

-/* Kernel hooks.                                                             */

+/**

+ * @name Kernel hooks

+ * @{

+ */

 /*===========================================================================*/

 

 /**

@@ -495,6 +514,8 @@
 }

 #endif

 

+/** @} */

+

 /*===========================================================================*/

 /* Port-specific settings (override port settings defaulted in chcore.h).    */

 /*===========================================================================*/