From aa5e2760711c092e1235105ebf097ac594512370 Mon Sep 17 00:00:00 2001 From: Alex Auvolat Date: Wed, 11 Mar 2015 09:27:16 +0100 Subject: Fix process exiting. --- src/kernel/include/process.h | 2 +- src/kernel/include/thread.h | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) (limited to 'src/kernel/include') 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); -- cgit v1.2.3