implement process_kill()

1 files changed, 6 insertions, 0 deletions

diff --git a/src/kernel/proc.c b/src/kernel/proc.c
index b1dc5c1..47fd2ec 100644
--- a/src/kernel/proc.c
+++ b/src/kernel/proc.c
@@ -103,6 +103,12 @@ handle_t process_find_handle(struct process *proc) {
 	return handle;
 }
 
+void process_kill(struct process *proc, int ret) {
+	proc->state = PS_DEAD;
+	proc->death_msg = ret;
+	process_try2collect(proc);
+}
+
 int process_try2collect(struct process *dead) {
 	struct process *parent = dead->parent;
 	int len, ret;