Checkpoint page-table version for SMP

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

1 files changed, 4 insertions, 0 deletions

diff --git a/trap.c b/trap.c
index 1f35708..f0f016f 100644
--- a/trap.c
+++ b/trap.c
@@ -73,6 +73,10 @@ trap(struct trapframe *tf)
             cpu->id, tf->cs, tf->eip);
     lapiceoi();
     break;
+  case T_TLBFLUSH:
+    lapiceoi();
+    lcr3(rcr3());
+    break;
    
   //PAGEBREAK: 13
   default: