blob: 3529ac9c4133b1c53434331f832f015f0a1d56e2 (
plain) (
tree)
|
|
/**
* @file
*
* @brief Frees EDF Thread Information
*
* @ingroup ScoreScheduler
*/
/*
* Copyright (C) 2011 Petr Benes.
* Copyright (C) 2011 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.
*/
#if HAVE_CONFIG_H
#include "config.h"
#endif
#include <rtems/system.h>
#include <rtems/config.h>
#include <rtems/score/scheduler.h>
#include <rtems/score/scheduleredf.h>
#include <rtems/score/wkspace.h>
void _Scheduler_EDF_Free(
const Scheduler_Control *scheduler,
Thread_Control *the_thread
)
{
(void) scheduler;
_Workspace_Free( the_thread->scheduler_info );
}
|