375aafc361a76e4555f98c958b86a9f614a1b151
13 unsigned long lastrun
;
19 bool is_interrupt_task(struct task
* t
);
20 bool had_interrupt(struct task
* t
);
22 struct task
*task_head(void);
23 struct task
*task_next(struct task
*t
);
25 void task_register(void);
26 void task_delete(void);