diff --git a/src/kernel/memory/vmm.c b/src/kernel/memory/vmm.c
index 4ba7afc..11c03e0 100644
--- a/src/kernel/memory/vmm.c
+++ b/src/kernel/memory/vmm.c
@@ -19,7 +19,7 @@ union PTE {
   };
 };
 
-#define PT(ptr) ((union PTE *)MASK_FLAGS(ptr))
+#define PT(ptr) ((union PTE *)P2V(MASK_FLAGS(ptr)))
 #define P4e(pt, addr) (PT(pt)[P4_OFFSET(addr)])
 #define P3e(pt, addr) PT(P4e(pt, addr).value)[P3_OFFSET(addr)]
 #define P2e(pt, addr) PT(P3e(pt, addr).value)[P2_OFFSET(addr)]
diff --git a/src/kernel/memory/vmm.tt b/src/kernel/memory/vmm.tt
index b08f308..0af9e90 100644
--- a/src/kernel/memory/vmm.tt
+++ b/src/kernel/memory/vmm.tt
@@ -1,6 +1,10 @@
 // vim: ft=c
 #include <ttest.h>
 
+#include <memory.h>
+#undef P2V
+#define P2V(p) (p)
+
 #include "vmm.c"
 
 void *data;