1 files changed, 0 insertions, 6 deletions
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)