/// Changes scheduling policy from deadlines to priorities
rtems_status_code edf_deadline_cancel(rtems_id period_id);
-Thread_CPU_budget_algorithm_callout edf_budget_overrun_callout();
-
-rtems_timer_service_routine_entry edf_budget_overrun_reenable(Thread_Control *the_thread);
/// Pluggable scheduler callback functions