Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


Merge branch 'devel'
[palacios.git] / kitten / include / lwk / sched.h
1 #ifndef _LWK_SCHED_H
2 #define _LWK_SCHED_H
3
4 #include <lwk/task.h>
5 #include <lwk/init.h>
6
7 extern int __init sched_subsys_init(void);
8 extern void sched_add_task(struct task_struct *task);
9 extern void sched_del_task(struct task_struct *task);
10 extern int sched_wakeup_task(struct task_struct *task,
11                              taskstate_t valid_states);
12 extern void schedule(void); 
13
14 extern struct task_struct *arch_context_switch(struct task_struct *prev,
15                                                struct task_struct *next);
16 extern void arch_idle_task_loop_body(void);
17
18 #endif