// may_killed - check if current thread should be killed, should be called before go back to user space
void
may_killed(void) {
// killed by other process, already set exit_code and call __do_exit directly
if (current->flags & PF_EXITING) {
__do_exit();
}
}
// do_exit_thread - kill a single thread
int
do_exit_thread(int error_code) {
current->exit_code = error_code;
return __do_exit();
}
void exit(int status)
{
__do_exit(status);
_exit(status);
}
