kernel/syscalls/msleep.c


1
2
3
4
5
6
7
8
9

#include <drivers/pit.h>
#include <sched/scheduler.h>
#include <stdio.h>
#include <syscalls.h>

void syscall_msleep(u32 ms) {
  get_current_task()->sleep_until = pit_num_ms() + ms;
  switch_task();
}