From 9b9ef5a2c0ec8e66c7da24c4229d89a90a10e914 Mon Sep 17 00:00:00 2001 From: Alex Auvolat Date: Wed, 11 Mar 2015 16:22:40 +0100 Subject: Bugfixing in progress. Strange bug: wait_on adds to waiters but later not in waiters. --- src/kernel/include/thread.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/kernel/include') diff --git a/src/kernel/include/thread.h b/src/kernel/include/thread.h index 4b140fa..698c4c6 100644 --- a/src/kernel/include/thread.h +++ b/src/kernel/include/thread.h @@ -46,7 +46,7 @@ thread_t *new_thread(entry_t entry, void* data); // thread is PAUSED, and must b void start_thread(thread_t *t); void delete_thread(thread_t *t); -void irq0_handler(registers_t *regs, int crit_level); +void threading_irq0_handler(); extern thread_t *current_thread; -- cgit v1.2.3