Changeset 188 for trunk/kernel/kern/printk.h

Timestamp:

Jul 12, 2017, 8:12:41 PM (7 years ago)

Author:

alain

Message:

Redefine the PIC device API.

File:

• trunk/kernel/kern/printk.h (modified) (4 diffs)

trunk/kernel/kern/printk.h

@@ -83 +83 @@
 
 /**********************************************************************************
- * This function displaya "PANIC" message and force the calling core in
+ * This function displays a "PANIC" message and force the calling core in
  * sleeping mode if a Boolean condition is false.
  * These functions are actually used to debug the kernel...
@@ -95 +95 @@
                     char       * string );
 
+/**********************************************************************************
+ * This function displays a "PANIC" message and force the calling core in
+ * sleeping mode if a Boolean condition is false,
+ * without taking the the lock protecting exclusive access to TXT0 terminal.
+ **********************************************************************************
+ * @ condition     : condition that must be true.
+ * @ function_name : name of the calling function.
+ * @ string        : error message if condition is false. 
+ *********************************************************************************/
+inline void nolock_assert( bool_t       condition,
+                           const char * function_name,
+                           char       * string );
+
 ///////////////////////////////////////////////////////////////////////////////////
 //       Conditionnal debug macros
@@ -171 +184 @@
 #endif
 
-#if CONFIG_ICU_DEBUG
-#define icu_dmsg(...)   printk(__VA_ARGS__)
-#else
-#define icu_dmsg(...)
-#endif
-
 #if CONFIG_IDLE_DEBUG
 #define idle_dmsg(...) printk(__VA_ARGS__)
@@ -187 +194 @@
 #else
 #define ioc_dmsg(...)
+#endif
+
+#if CONFIG_IRQ_DEBUG
+#define irq_dmsg(...)   printk(__VA_ARGS__)
+#else
+#define irq_dmsg(...)
 #endif