diff options
Diffstat (limited to 'src/kernel/include')
| -rw-r--r-- | src/kernel/include/process.h | 2 | ||||
| -rw-r--r-- | src/kernel/include/thread.h | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/src/kernel/include/process.h b/src/kernel/include/process.h index d4fcfc3..ddeac90 100644 --- a/src/kernel/include/process.h +++ b/src/kernel/include/process.h @@ -84,7 +84,7 @@ void process_exit(process_t *p, int status, int exit_code); // exit specified p void current_process_exit(int status, int exit_code); bool process_new_thread(process_t *p, proc_entry_t entry, void* sp); -void process_thread_deleted(thread_t *t); // called by threading code when a thread exits +void process_thread_exited(thread_t *t); // called by threading code when a thread exits process_t *process_find_child(process_t *p, int pid); void process_get_status(process_t *p, proc_status_t *st); 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); |