implement process_kill()

1 files changed, 1 insertions, 3 deletions

diff --git a/src/kernel/syscalls.c b/src/kernel/syscalls.c
index c89efc7..22bf1f6 100644
--- a/src/kernel/syscalls.c
+++ b/src/kernel/syscalls.c
@@ -9,9 +9,7 @@
 #include <stdint.h>
 
 _Noreturn void _syscall_exit(int ret) {
-	process_current->state = PS_DEAD;
-	process_current->death_msg = ret;
-	process_try2collect(process_current);
+	process_kill(process_current, ret);
 	process_switch_any();
 }