Lots of stuff.

[polintos/scott/priv.git] / kernel / mem / pagetable.cc

diff --git a/kernel/mem/pagetable.cc b/kernel/mem/pagetable.cc
index 5a0412678a1079fc77ba632a6daf9d6145fc34f0..88b97ea35be7d0e073cffaacc29723b9ec05cdfb 100644 (file)
--- a/kernel/mem/pagetable.cc
+++ b/kernel/mem/pagetable.cc
@@ -20,7 +20,7 @@
 
 #include <kern/mem.h>
 #include <kern/pagealloc.h>
-#include <kern/pagetable.h>
+#include <kern/generic-pagetable.h>
 #include <kern/generic-pte.h>
 #include <lowlevel/atomic.h>
 #include <util/misc.h>