blob: f42ac1c34a1d92f942394fa1f1fcaccb1cd790d3 (
plain) (
tree)
|
|
/* Task_restart_extension
*
* This routine is the trestart user extension.
*
* Input parameters:
* unused - pointer to currently running TCB
* restarted_task - pointer to new TCB being started
*
* Output parameters: NONE
*
* COPYRIGHT (c) 1989-1999.
* On-Line Applications Research Corporation (OAR).
*
* The license and distribution terms for this file may be
* found in the file LICENSE in this distribution or at
* http://www.rtems.com/license/LICENSE.
*
* $Id$
*/
#ifdef HAVE_CONFIG_H
#include "config.h"
#endif
#include "system.h"
void Task_restart_extension(
rtems_tcb *unused,
rtems_tcb *restarted_task
)
{
char line[80];
rtems_name name;
if ( task_number( restarted_task->Object.id ) > 0 ) {
name = Task_name[ task_number( restarted_task->Object.id ) ];
/*
* FIXME: There should be a public function to
* convert numeric rtems_names into char arrays
* c.f. rtems_name_to_characters() in rtems/rtems/support.inl
* but it's private.
*/
sprintf( line, "TASK_RESTART - %c%c%c%c - restarted\n",
(char)((name >> 24) & 0xff),
(char)((name >> 16) & 0xff),
(char)((name >> 8) & 0xff),
(char)(name & 0xff)
);
buffered_io_add_string( line );
}
}
|