void thread_sleep_until(uint64_t millisec)
Sleep until a specified time in millisec The specified time is according to Kernel::get_ms_count().
uint64_t get_ms_count(void)
Generic thread functions.
void thread_sleep_for(uint32_t millisec)
Sleep for a specified time period in millisec: