commit a7b2ef5dd9bb9890f10252981481b55ae30babd1
author Richard Henderson <rth@twiddle.net> Fri May 06 18:05:46 2011 -0700
committer Richard Henderson <rth@twiddle.net> Fri May 06 18:05:46 2011 -0700
tree 709164ae779b78dc52876ed86477b56736e884ac
parent 2d46a7ec8fdf0c22f21e57ecfc46a5df5cd5cfbf

Don't use alarms for ndelay.

util.c

diff --git a/util.c b/util.c
index bccd41d..1444dd6 100644
--- a/util.c
+++ b/util.c
@@ -26,14 +26,14 @@
 {
   unsigned long target, now;
 
+  /* ??? Fix race between setting an alarm and waiting for an interrupt,
+     so that we can use wtint here.  This isn't used much except for 
+     during startup, so it probably doesn't matter much.  */
+
   now = get_wall_time();
   target = now + nsec;
 
-  set_alarm_abs(nsec);
   do
-    {
-      wtint(0);
-      now = get_wall_time();
-    }
+    now = get_wall_time();
   while (now < target);
 }