blob: d821562f2b67f2d46fe91e297c27958c3afb794e (
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.org/license/LICENSE.
*/
#ifdef HAVE_CONFIG_H
#include "config.h"
#endif
#include "system.h"
void Task_restart_extension(
rtems_tcb *unused,
rtems_tcb *restarted_task
)
{
ssize_t task = task_number( restarted_task->Object.id );
if (task > 0) {
++Task_restarted[ task ];
}
}
|