long timer_getms() { return timer_getticks() / 1000; }
/* Sleeps for the specified number of ticks * Parameters: * ticks - number of ticks * * Returns: * void */ void timer_sleep(uint32_t ticks) { uint32_t end_ticks = timer_getticks() + ticks; while (timer_getticks() < end_ticks); }