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

Timestamp:

Jun 29, 2017, 6:22:27 PM (7 years ago)

Author:

alain

Message:

Introducing a nolock_printk() function used by kernel_init.

File:

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

trunk/kernel/kern/printk.h

@@ -67 +67 @@
  * This function displays a formated string on the kernel terminal TXT0,
  * using a busy waiting policy: It calls directly the relevant TXT driver, 
- * after taking the TXT0 chdev lock for exclusive access to the TXT0 terminal.
+ * after taking the lock for exclusive access to the TXT0 terminal.
  **********************************************************************************
  * @ format     : formated string.
  *********************************************************************************/
-void         printk( char* format, ... );
+void printk( char* format, ... );
 
 /**********************************************************************************
- * Display a formated string on the calling thread private terminal, using a 
- * descheduling policy: it register the request in the selected TXT chdev waiting
- * queue and deschedule. IT is reactivated by the IRQ signaling completion.
- * Not fully implemented yet ( use TXT0 in deschedling mode ).
+ * This function displays a formated string on the kernel terminal TXT0,
+ * using a busy waiting policy: It calls directly the relevant TXT driver, 
+ * without taking the the lock protecting exclusive access to TXT0 terminal.
  **********************************************************************************
  * @ format     : formated string.
  *********************************************************************************/
-void         user_printk( char* format, ... );
+void nolock_printk( char* format, ... );
 
 /**********************************************************************************
@@ -203 +202 @@
 
 #if CONFIG_KINIT_DEBUG
-#define kinit_dmsg(...) printk(__VA_ARGS__)
+#define kinit_dmsg(...) nolock_printk(__VA_ARGS__)
 #else
 #define kinit_dmsg(...)