implement process_kill()

1 files changed, 2 insertions, 0 deletions

diff --git a/src/kernel/proc.h b/src/kernel/proc.h
index 592451c..7c338bb 100644
--- a/src/kernel/proc.h
+++ b/src/kernel/proc.h
@@ -53,6 +53,8 @@ _Noreturn void process_switch_any(void); // switches to any running process
 struct process *process_find(enum process_state);
 handle_t process_find_handle(struct process *proc); // finds the first free handle
 
+void process_kill(struct process *proc, int ret);
+
 /** Tries to transistion from PS_DEAD to PS_DEADER.
  * @return a nonnegative length of the quit message if successful, a negative val otherwise*/
 int process_try2collect(struct process *dead);