From bb9ffb43eff6236a6390f51dfb5df3c345fe97f8 Mon Sep 17 00:00:00 2001
From: Quinten Kock <quintenkock@gmail.com>
Date: Wed, 9 Dec 2020 14:30:34 +0100
Subject: [PATCH] make GDT printing work on all platforms

---
 kernel/src/arch/x86/gdt.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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;