diff --git a/kernel/src/arch/x86/gdt.c b/kernel/src/arch/x86/gdt.c
index a6fee8a..2064ea2 100644
--- a/kernel/src/arch/x86/gdt.c
+++ b/kernel/src/arch/x86/gdt.c
@@ -1,5 +1,7 @@
 #include <print/print.h>
 
+#include <stddef.h>
+
 #include "gdt.h"
 
 void print_gdt_ent(uint64_t* ent) {
@@ -14,7 +16,7 @@ void print_gdt_ent(uint64_t* ent) {
     int bits = (flags&0x2) ? 64 : ((flags&0x4) ? 32 : 16);
 
     uint64_t length = limit * ((flags & 0x8) ? 4096 : 1);
-    printf("%X (%h):  \t", base, length);
+    printf("%X (%h):  \t", (size_t)base, (size_t)length);
     if(e == 0) {
         puts("NULL");
         return;