Remove unused nop_pause function.

diff --git a/runoff b/runoff
index 345fb2e1fb0512326bb3724e11aaa6aa1fec27f5..2b48cd50b28019cbdba5f30b42ef4b1a9d5472d6 100755 (executable)
--- a/runoff
+++ b/runoff
@@ -192,6 +192,8 @@ do
        if [ "x$defs" != "x$uses" ]; then
                echo $i $defs
                echo $uses |fmt -29 | sed 's/^/    /'
+#      else
+#              echo $i defined but not used >&2
        fi
 done
 ) >refs

diff --git a/x86.h b/x86.h
index 33e240dd9bdf2774ed756752d8cac1b30506c499..5a59cc2043f6412beb65aeb9e10c42598365ecf8 100644 (file)
--- a/x86.h
+++ b/x86.h
@@ -137,12 +137,6 @@ xchg(volatile uint *addr, uint newval)
   return result;
 }
 
-static inline void
-nop_pause(void)
-{
-  asm volatile("pause" : :);
-}
-
 //PAGEBREAK!
 static inline void
 lcr0(uint val)