Ignore:
Timestamp:
Jun 29, 2017, 6:22:27 PM (5 years ago)
Author:
alain
Message:

Introducing a nolock_printk() function used by kernel_init.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/kernel/kern/printk.c

    r23 r103  
    375375    remote_spinlock_lock_busy( txt0_lock_xp , &save_sr );
    376376
    377     // call kernel_printf in busy waiting mode
     377    // call kernel_printf on TXT0, in busy waiting mode
    378378    va_start( args , format );
    379379    kernel_printf( 0 , 1 , format , &args );
     
    384384}
    385385
    386 //////////////////////////////////////
    387 void user_printk( char * format , ...)
     386////////////////////////////////////////
     387void nolock_printk( char * format , ...)
    388388{
    389389    va_list   args;
    390390
    391     // get calling thread TXT channel TODO
    392     uint32_t channel = 0;
    393 
    394    // call kernel_printf in descheduling mode
     391    // call kernel_printf on TXT0, in busy waiting mode
    395392    va_start( args , format );
    396     kernel_printf( channel, 0 , format , &args );
     393    kernel_printf( 0 , 1 , format , &args );
    397394    va_end( args );
    398395}
Note: See TracChangeset for help on using the changeset viewer.