mirror of
https://github.com/Fennix-Project/Kernel.git
synced 2025-05-28 15:34:33 +00:00
48 lines
1.3 KiB
C++
48 lines
1.3 KiB
C++
/*
|
|
This file is part of Fennix Kernel.
|
|
|
|
Fennix Kernel is free software: you can redistribute it and/or
|
|
modify it under the terms of the GNU General Public License as
|
|
published by the Free Software Foundation, either version 3 of
|
|
the License, or (at your option) any later version.
|
|
|
|
Fennix Kernel is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
GNU General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with Fennix Kernel. If not, see <https://www.gnu.org/licenses/>.
|
|
*/
|
|
|
|
#include <syscalls.hpp>
|
|
|
|
#include <memory.hpp>
|
|
#include <lock.hpp>
|
|
#include <exec.hpp>
|
|
#include <errno.h>
|
|
#include <debug.h>
|
|
|
|
#include "../../syscalls.h"
|
|
#include "../../kernel.h"
|
|
|
|
using Tasking::TCB;
|
|
using Tasking::TaskState::Zombie;
|
|
|
|
/* https://pubs.opengroup.org/onlinepubs/009604499/functions/exit.html */
|
|
__noreturn void sys_exit(SysFrm *, int status)
|
|
{
|
|
TCB *t = thisThread;
|
|
|
|
trace("Userspace thread %s(%d) exited with code %d (%#x)",
|
|
t->Name,
|
|
t->ID, status,
|
|
status < 0 ? -status : status);
|
|
|
|
t->SetState(Zombie);
|
|
t->SetExitCode(status);
|
|
while (true)
|
|
t->GetContext()->Yield();
|
|
__builtin_unreachable();
|
|
}
|