Complete function attributes

This commit is contained in:
Baptiste Wicht 2016-09-30 22:10:08 +02:00
parent 31e061f4d0
commit f01994fa8c
No known key found for this signature in database
GPG Key ID: C5566B6C7F884532
2 changed files with 2 additions and 2 deletions

View File

@ -74,7 +74,7 @@ std::expected<pid_t> exec(const std::string& path, const std::vector<std::string
/*! /*!
* \brief Kill the current process * \brief Kill the current process
*/ */
void kill_current_process(); void kill_current_process() __attribute__((noreturn));
/*! /*!
* \brief Wait for the given process to terminate * \brief Wait for the given process to terminate

View File

@ -570,8 +570,8 @@ void sc_wait_for_packet_ms(interrupt::syscall_regs* regs){
regs->rbx = reinterpret_cast<size_t>(user_buffer); regs->rbx = reinterpret_cast<size_t>(user_buffer);
} }
void sc_kill(interrupt::syscall_regs* /*regs*/) __attribute((noreturn));
void sc_kill(interrupt::syscall_regs* /*regs*/){ void sc_kill(interrupt::syscall_regs* /*regs*/){
//TODO Do something with return code
scheduler::kill_current_process(); scheduler::kill_current_process();
} }