diff options
Diffstat (limited to 'src/kernel/include/thread.h')
| -rw-r--r-- | src/kernel/include/thread.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/kernel/include/thread.h b/src/kernel/include/thread.h index f9df0ea..4b140fa 100644 --- a/src/kernel/include/thread.h +++ b/src/kernel/include/thread.h @@ -44,6 +44,7 @@ typedef void (*entry_t)(void*); void threading_setup(entry_t cont, void* data); // never returns thread_t *new_thread(entry_t entry, void* data); // thread is PAUSED, and must be started with start_thread void start_thread(thread_t *t); +void delete_thread(thread_t *t); void irq0_handler(registers_t *regs, int crit_level); |