blob: 6066038d4908290effd8353709a4555d609c4e1d (
plain) (
tree)
|
|
/* Task_exit_extension
*
* This routine is the task exitted user extension.
*
* Input parameters: NONE
*
* Output parameters: NONE
*
* COPYRIGHT (c) 1989-2009.
* 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.org/license/LICENSE.
*/
#ifdef HAVE_CONFIG_H
#include "config.h"
#endif
#include "system.h"
void Task_exit_extension(
rtems_tcb *running_task
)
{
if ( task_number( running_task->Object.id ) > 0 ) {
puts_nocr( "RTEMS_TASK_EXITTED - extension invoked for " );
put_name( Task_name[ task_number( running_task->Object.id ) ], TRUE );
}
TEST_END();
rtems_test_exit( 0 );
}
|