From 75264e130dbe9eca1a8b2df598c28870b16f7f3e Mon Sep 17 00:00:00 2001
From: Imbus <>
Date: Wed, 10 Dec 2025 23:17:42 +0100
Subject: [PATCH] uintptr_t in types.h

---
 kernel/types.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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;