00001 #ifndef __DISPATCH_H__
00002 #define __DISPATCH_H__
00003
00008 #include "rres_config.h"
00009 #include "kal_sched.h"
00010
00012 #define qos_log_state(__t) qos_log_debug("(%d), state: %ld, prio: %d", (__t)->pid, (__t)->state, (int)(__t)->rt_priority)
00013
00015 #define qos_log_state_simple(__t) qos_log_simple(QOS_DEBUG_LEVEL, "(%d),s:%ld, p:%d", (__t)->pid, (__t)->state, (int)(__t)->rt_priority)
00016
00017 static inline void kal_force_reschedule(void) {
00018 set_tsk_need_resched(kal_task_current());
00019 }
00020
00021 int task_ready(struct task_struct * task);
00022 void rres_init_sched_param(struct task_struct *task);
00023 void rres_task_sched_default(struct task_struct *task);
00024 void stop_task(struct task_struct *t);
00025 void dispatch_task(struct task_struct *t);
00026
00029 #endif
