Fix process exiting.

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);