From 33ef18732abb1ec03469b7c0fe271a6599318682 Mon Sep 17 00:00:00 2001
From: dzwdz
Date: Mon, 4 Oct 2021 21:37:01 +0200
Subject: implement process_kill()

---
 src/kernel/proc.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/kernel/proc.h')

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);
-- 
cgit v1.2.3