devio: Fix broken pointer printing on 16bit

diff --git a/Kernel/devio.c b/Kernel/devio.c
index 5155db3..da77df7 100644 (file)
--- a/Kernel/devio.c
+++ b/Kernel/devio.c
@@ -589,7 +589,7 @@ void kprintf(const char *fmt, ...)
                                {
                                        unsigned int v = va_arg(ap, int);
 
-                                       if (*fmt == 'x')
+                                       if (*fmt == 'x' || *fmt == 'p')
                                                kputhex(v);
                                        else if (*fmt == 'd')
                                                kputnum(v);