kernel/scalls/msleep.c


1
2
3
4
5
6
7
8
9

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

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