Checkpoint page-table version for SMP

Includes code for TLB shootdown (which actually seems unnecessary for xv6)

1 files changed, 5 insertions, 0 deletions

diff --git a/x86.h b/x86.h
index 986e1b0..b9fa8b8 100644
--- a/x86.h
+++ b/x86.h
@@ -176,6 +176,11 @@ static inline uint resp(void)
   return val;
 }
 
+static inline void nop_pause(void)
+{
+  asm volatile("pause" : :);
+}
+
 //PAGEBREAK: 36
 // Layout of the trap frame built on the stack by the
 // hardware and by trapasm.S, and passed to trap().