From f01994fa8c22cad0c410d1b2f5af21ee7867a81d Mon Sep 17 00:00:00 2001
From: Baptiste Wicht <baptiste.wicht@gmail.com>
Date: Fri, 30 Sep 2016 22:10:08 +0200
Subject: [PATCH] Complete function attributes

---
 kernel/include/scheduler.hpp | 2 +-
 kernel/src/system_calls.cpp  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/kernel/include/scheduler.hpp b/kernel/include/scheduler.hpp
index 77d2588b..09357b6d 100644
--- a/kernel/include/scheduler.hpp
+++ b/kernel/include/scheduler.hpp
@@ -74,7 +74,7 @@ std::expected<pid_t> exec(const std::string& path, const std::vector<std::string
 /*!
  * \brief Kill the current process
  */
-void kill_current_process();
+void kill_current_process() __attribute__((noreturn));
 
 /*!
  * \brief Wait for the given process to terminate
diff --git a/kernel/src/system_calls.cpp b/kernel/src/system_calls.cpp
index dfc49dbe..a4125d8c 100644
--- a/kernel/src/system_calls.cpp
+++ b/kernel/src/system_calls.cpp
@@ -570,8 +570,8 @@ void sc_wait_for_packet_ms(interrupt::syscall_regs* regs){
     regs->rbx = reinterpret_cast<size_t>(user_buffer);
 }
 
+void sc_kill(interrupt::syscall_regs* /*regs*/) __attribute((noreturn));
 void sc_kill(interrupt::syscall_regs* /*regs*/){
-    //TODO Do something with return code
     scheduler::kill_current_process();
 }