Export sched_shutdown().

diff --git a/sched.h b/sched.h
index 36d0769beac802d118a8e9db668cb1d2196a0fbc..c0e597ebe3be4b89132e3385ad8e1999c3d6a522 100644 (file)
--- a/sched.h
+++ b/sched.h
@@ -80,3 +80,4 @@ void unregister_task(struct task *t);
 int schedule(struct sched *s);
 char *get_task_list(void);
 int kill_task(char *id);
+void sched_shutdown(void);