int rtems_shell_main_executing( int argc, char *argv[] ) { PRINT_EXECUTING(); return 0; }
void check_heir_and_executing(void) { if ( last_heir != _Thread_Heir ) PRINT_HEIR(); if ( last_executing != _Thread_Executing ) PRINT_EXECUTING(); last_heir = _Thread_Heir; last_executing = _Thread_Executing; }