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

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.c (modified) (2 diffs)

trunk/kernel/kern/printk.c

@@ -375 +375 @@
     remote_spinlock_lock_busy( txt0_lock_xp , &save_sr );
 
-    // call kernel_printf in busy waiting mode
+    // call kernel_printf on TXT0, in busy waiting mode
     va_start( args , format );
     kernel_printf( 0 , 1 , format , &args );
@@ -384 +384 @@
 }
 
-//////////////////////////////////////
-void user_printk( char * format , ...)
+////////////////////////////////////////
+void nolock_printk( char * format , ...)
 {
     va_list   args;
 
-    // get calling thread TXT channel TODO
-    uint32_t channel = 0;
-
-   // call kernel_printf in descheduling mode
+    // call kernel_printf on TXT0, in busy waiting mode
     va_start( args , format );
-    kernel_printf( channel, 0 , format , &args );
+    kernel_printf( 0 , 1 , format , &args );
     va_end( args );
 }