diff --git a/arch/user/include/socks/machine/pmap.h b/arch/user/include/socks/machine/pmap.h
index 85a1829..2a21e0c 100644
--- a/arch/user/include/socks/machine/pmap.h
+++ b/arch/user/include/socks/machine/pmap.h
@@ -1,9 +1,7 @@
-#ifndef SOCKS_X86_64_PMAP_H_
-#define SOCKS_X86_64_PMAP_H_
+#ifndef SOCKS_USER_PMAP_H_
+#define SOCKS_USER_PMAP_H_
 
-#include <arch/paging.h>
-
-typedef pml4t_ptr_t ml_pmap_t;
+typedef uintptr_t ml_pmap_t;
 typedef uint64_t ml_pfn_t;
 
 #endif