+ int64_t ticks = (int64_t) ms * TIMER_FREQ / 1000;
+ int64_t start = timer_ticks ();
+
+ while (timer_elapsed (start) < ticks)
+ continue;
+}
+
+void
+timer_usleep (int64_t us)
+{
+ timer_msleep (us / 1000 + 1);
+}
+
+void
+timer_nsleep (int64_t ns)
+{
+ timer_msleep (ns / 1000000 + 1);