It has no more users outside sched.c.
* If the pre_select pointer of \a t is not \p NULL, it is removed from
* the pre_select list of the scheduler. Same goes for \a post_select.
*/
* If the pre_select pointer of \a t is not \p NULL, it is removed from
* the pre_select list of the scheduler. Same goes for \a post_select.
*/
-void unregister_task(struct task *t)
+static void unregister_task(struct task *t)
{
if (!initialized)
return;
{
if (!initialized)
return;
extern struct timeval *now;
void register_task(struct task *t);
extern struct timeval *now;
void register_task(struct task *t);
-void unregister_task(struct task *t);
int schedule(struct sched *s);
char *get_task_list(void);
int kill_task(char *id);
int schedule(struct sched *s);
char *get_task_list(void);
int kill_task(char *id);