#include "sys/Syscall.h"
#include "thread/Scheduler.h"

Result<u64> sys_exit(Registers*, SyscallArgs)
{
    kernel_exit();
}