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

Result<u64> sys_getpid(Registers*, SyscallArgs)
{
    return Scheduler::current()->id;
}