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

Timestamp:

Jan 29, 2018, 6:08:07 PM (7 years ago)

Author:

alain

Message:

blip

File:

• trunk/kernel/kern/printk.c (modified) (1 diff)

trunk/kernel/kern/printk.c

@@ -383 +383 @@
 }
 
-/////////////////////////////////
-void _panic( char * format , ... )
-{
-    va_list       args;
-    uint32_t      save_sr;
-
-    // get pointers on TXT0 chdev
-    xptr_t    txt0_xp  = chdev_dir.txt_tx[0];
-    cxy_t     txt0_cxy = GET_CXY( txt0_xp );
-    chdev_t * txt0_ptr = GET_PTR( txt0_xp );
-
-    // get extended pointer on remote TXT0 chdev lock
-    xptr_t  lock_xp = XPTR( txt0_cxy , &txt0_ptr->wait_lock );
-
-    // get TXT0 lock in busy waiting mode
-    remote_spinlock_lock_busy( lock_xp , &save_sr );
-
-    // call kernel_printf on TXT0, in busy waiting mode
-    va_start( args , format );
-    kernel_printf( format , &args );
-    va_end( args );
-
-    // release lock
-    remote_spinlock_unlock_busy( lock_xp , save_sr );
-
-    hal_disable_irq( NULL );
-
-    while (1)
-    {
-        hal_core_sleep();
-    }
-}
-
 ////////////////////////////////////
 void assert( bool_t       condition,