X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2Finclude%2Flwk%2Fsched.h;fp=kitten%2Finclude%2Flwk%2Fsched.h;h=9a05f7c40dafdd64a78a20091f4fbd6d7687bda2;hb=66a1a4c7a9edcd7d8bc207aca093d694a6e6b5b2;hp=0000000000000000000000000000000000000000;hpb=f7cf9c19ecb0a589dd45ae0d2c91814bd3c2acc2;p=palacios.git

diff --git a/kitten/include/lwk/sched.h b/kitten/include/lwk/sched.h
new file mode 100644
index 0000000..9a05f7c
--- /dev/null
+++ b/kitten/include/lwk/sched.h
@@ -0,0 +1,18 @@
+#ifndef _LWK_SCHED_H
+#define _LWK_SCHED_H
+
+#include <lwk/task.h>
+#include <lwk/init.h>
+
+extern int __init sched_subsys_init(void);
+extern void sched_add_task(struct task_struct *task);
+extern void sched_del_task(struct task_struct *task);
+extern int sched_wakeup_task(struct task_struct *task,
+                             taskstate_t valid_states);
+extern void schedule(void); 
+
+extern struct task_struct *arch_context_switch(struct task_struct *prev,
+                                               struct task_struct *next);
+extern void arch_idle_task_loop_body(void);
+
+#endif