diff options
-rw-r--r-- | firmware/kernel.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/firmware/kernel.h b/firmware/kernel.h index b5a9ae3ff4..951ccee947 100644 --- a/firmware/kernel.h +++ b/firmware/kernel.h | |||
@@ -49,6 +49,8 @@ extern void kernel_init(void); | |||
49 | extern void yield(void); | 49 | extern void yield(void); |
50 | extern void sleep(int ticks); | 50 | extern void sleep(int ticks); |
51 | int set_irq_level(int level); | 51 | int set_irq_level(int level); |
52 | int tick_add_task(void (*f)(void)); | ||
53 | int tick_remove_task(void (*f)(void)); | ||
52 | 54 | ||
53 | extern void queue_init(struct event_queue *q); | 55 | extern void queue_init(struct event_queue *q); |
54 | extern struct event *queue_wait(struct event_queue *q); | 56 | extern struct event *queue_wait(struct event_queue *q); |