#include "sys/Syscall.h"
#include "thread/Scheduler.h"
#include <sys/types.h>

Result<u64> sys_usleep(Registers*, SyscallArgs args)
{
    useconds_t us = (useconds_t)args[0];

    kernel_sleep(us / 1000);

    return 0;
}