+ao_delay_until(AO_TICK_TYPE target)
+{
+ ao_arch_block_interrupts();
+ while ((AO_TICK_SIGNED) (target - ao_tick_count) > 0)
+ ao_sleep((void *) &ao_tick_count);
+ ao_arch_release_interrupts();
+}
+
+void
+ao_delay(AO_TICK_TYPE ticks)
+{
+ ao_delay_until(ao_time() + ticks);
+}
+
+#endif
+
+void
+ao_wakeup(void *wchan)