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

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