Kernel Style: Change uint*_t -> u*

1 files changed, 2 insertions, 2 deletions

diff --git a/kernel/libc/stdio/print.c b/kernel/libc/stdio/print.c
index 8174983..f1a4918 100644
--- a/kernel/libc/stdio/print.c
+++ b/kernel/libc/stdio/print.c
@@ -10,7 +10,7 @@ const char HEX_SET[0x10] = {'0', '1', '2', '3', '4', '5', '6', '7',
 
 inline void putc(const char c) { write_serial(c); }
 
-int kprint_hex(uint64_t num) {
+int kprint_hex(u64 num) {
   int c = 2;
 
   if (num == 0) {
@@ -79,7 +79,7 @@ int kprintf(const char *format, ...) {
         ;
       break;
     case 'x':
-      c += kprint_hex(va_arg(list, const uint32_t));
+      c += kprint_hex(va_arg(list, const u32));
       break;
     case '%':
       putc('%');