From 43752ee8d132fc57028a9ff15156c5bfcd81c013 Mon Sep 17 00:00:00 2001
From: gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4>
Date: Fri, 12 Aug 2011 11:10:19 +0000
Subject: Extended state check to all kernel I-class and s-class APIs,
 corrected some test cases where call protocol rules were not strictly
 observerd. No the whole test suite pass with the state checker enabled.

git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@3223 35acf78f-673a-0410-8e92-d51de3d6d3f4
---
 os/kernel/include/chdebug.h | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'os/kernel/include')

diff --git a/os/kernel/include/chdebug.h b/os/kernel/include/chdebug.h
index 3bfadb750..f3bf6b026 100644
--- a/os/kernel/include/chdebug.h
+++ b/os/kernel/include/chdebug.h
@@ -86,6 +86,8 @@
 #define dbg_check_unlock_from_isr()
 #define dbg_check_enter_isr()
 #define dbg_check_leave_isr()
+#define chDbgCheckClassI();
+#define chDbgCheckClassS();
 #endif
 
 /*===========================================================================*/
@@ -211,6 +213,8 @@ extern "C" {
   void dbg_check_unlock_from_isr(void);
   void dbg_check_enter_isr(void);
   void dbg_check_leave_isr(void);
+  void chDbgCheckClassI(void);
+  void chDbgCheckClassS(void);
 #endif
 #if CH_DBG_ENABLE_TRACE || defined(__DOXYGEN__)
   void _trace_init(void);
-- 
cgit v1.2.3