rres_dispatch_gsd_2.4.h

Go to the documentation of this file.

/*
 * Copyright (C) 2002 Luca Abeni, 2003 Luca Marzario
 * This is Free Software; see GPL.txt for details
 */

#ifndef __DISPATCH_GSD_24_H__
#define __DISPATCH_GSD_24_H__

#include <linux/sched.h>

#define SCHED_OTHER SCHED_NORMAL

#define STOP_PRIORITY -2100        
#define qos_log_state(__t) qos_log_debug("(%d), state: %ld, prio: %d", (__t)->pid, (__t)->state, (int)(__t)->rt_priority)

#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)

static inline int task_ready(struct task_struct * task) { return (task->state == TASK_RUNNING); }

#define set_tsk_need_resched(task) do { task->need_resched = 1; } while (0)

static inline void stop_task(struct task_struct *t)
{
  t->rt_priority = STOP_PRIORITY;
}

static inline void dispatch_task(struct task_struct *t)
{
  t->rt_priority = RRES_DISPATCH_PRIORITY; 
}

static inline void rres_idle_cpu(void)
{
  set_tsk_need_resched(kal_task_current());
}

static inline void rres_dispatch_setup(server_t *srv) {
  /* Empty on purpose */
}

#endif /* __DISPATCH_GSD_24_H__ */

---