int usleep(useconds_t useconds) { timex_t time = timex_set(0, useconds); timex_normalize(&time); vtimer_sleep(time); return 0; }
int vtimer_usleep(uint32_t usecs) { timex_t offset = timex_set(0, usecs); return vtimer_sleep(offset); }
unsigned int sleep(unsigned int seconds) { timex_t time = timex_set(seconds, 0); vtimer_sleep(time); return 0; }
static void sleep_until_gate_reacts(void) { vtimer_sleep(timex_from_uint64(telemetry.reactivity_us)); }