diff --git a/kernel/types.h b/kernel/types.h
index 03410e3..a161b37 100644
--- a/kernel/types.h
+++ b/kernel/types.h
@@ -4,5 +4,5 @@ typedef unsigned char  u8;
 typedef unsigned short u16;
 typedef unsigned int   u32;
 typedef unsigned long  u64;
-
-typedef u64 pde_t;
+typedef unsigned long  uintptr_t;
+typedef u64            pde_t;