mirror of
https://github.com/Fennix-Project/Kernel.git
synced 2025-05-29 07:47:59 +00:00
63 lines
1.6 KiB
C++
63 lines
1.6 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"
|
|
#include "../../ipc.h"
|
|
|
|
using InterProcessCommunication::IPC;
|
|
using InterProcessCommunication::IPCID;
|
|
using Tasking::PCB;
|
|
using Tasking::TCB;
|
|
using Tasking::TaskState::Ready;
|
|
using Tasking::TaskState::Terminated;
|
|
using namespace Memory;
|
|
|
|
#define SysFrm SyscallsFrame
|
|
|
|
#if defined(a64)
|
|
typedef long arch_t;
|
|
#elif defined(a32)
|
|
typedef int arch_t;
|
|
#endif
|
|
|
|
/* 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->ExitCode = status;
|
|
t->KeepTime = TimeManager->CalculateTarget(10, Time::Seconds);
|
|
t->State = Terminated;
|
|
while (true)
|
|
t->GetContext()->Yield();
|
|
__builtin_unreachable();
|
|
}
|