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

Timestamp:

Jul 27, 2017, 12:23:29 AM (7 years ago)

Author:

alain

Message:

1) Introduce independant command fields for the various devices in the thread descriptor.
2) Introduce a new dev_pic_enable_ipi() function in the generic PIC device
3) Fix two bugs identified by Maxime in the scheduler initialisation, and in the sched_select().
4) fix several bugs in the TSAR hal_kentry.S.
5) Introduce a third kgiet segment (besides kdata and kcode) in the TSAR bootloader.

File:

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

trunk/kernel/kern/printk.c

@@ -401 +401 @@
 }
 
-////////////////////////////////////////
-void nolock_printk( char * format , ...)
-{
-    va_list   args;
-
-    // call kernel_printf on TXT0, in busy waiting mode
-    va_start( args , format );
-    kernel_printf( 0 , 1 , format , &args );
-    va_end( args );
-}
-
 ///////////////////////////////////////////
 inline void assert( bool_t       condition,
@@ -424 +413 @@
 }
 
-//////////////////////////////////////////////////
-inline void nolock_assert( bool_t       condition,
-                           const char * function_name,
-                           char       * string )
-{
-    if( condition == false )
-    {
-        nolock_printk("\n[PANIC] in %s : %s\n" , function_name , string );
-        hal_core_sleep();
-    }
-}
-
-
 
 // Local Variables: