#include <drivers/pit.h> #include <sched/scheduler.h> #include <stdio.h> #include <syscalls.h> void syscall_msleep(u32 ms) { current_task->sleep_until = pit_num_ms() + ms; switch_task(); }