1 files changed, 1 insertions, 1 deletions
diff --git a/v/vm.c b/v/vm.c
index d03f3b1..9802fb7 100644
--- a/v/vm.c
+++ b/v/vm.c
@@ -172,7 +172,7 @@ void handle_fault(uintptr_t addr, uintptr_t cause)
   user_llpt[addr/PGSIZE] = new_pte;
   flush_page(addr);
 
-  __builtin___clear_cache(0,0);
+  asm volatile ("fence.i");
 }
 
 void handle_trap(trapframe_t* tf)