...

src/vga.c

@@ -138,14 +138,14 @@ void vga_print_error(void)
     vga_print(" ]");
 }
 
-void vga_print_uint(uint64_t value)
+void vga_print_uint(uint32_t value)
 {
     char buffer[11];
     uitoa(value, buffer);
     vga_print(buffer);
 }
 
-void vga_print_int(int64_t value)
+void vga_print_int(int32_t value)
 {
     char buffer[12];
     itoa(value, buffer);