From d599aa2e40fc116d84c609358a9fdc51824b621d Mon Sep 17 00:00:00 2001
From: Austin Clements <amdragon@mit.edu>
Date: Thu, 2 Sep 2010 14:08:45 -0400
Subject: [PATCH] Remove unused nop_pause function.
---
runoff | 2 ++
x86.h | 6 ------
2 files changed, 2 insertions(+), 6 deletions(-)
diff --git a/runoff b/runoff
index 345fb2e..2b48cd5 100755
--- 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 33e240d..5a59cc2 100644
--- 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)