...

src/vga.c

@@ -1,4 +1,8 @@
 #include "vga.h"
+#include "string.h"
+#include <stdbool.h>
+#include <stddef.h>
+#include <stdint.h>
 
 #define ROWS 25
 #define COLUMNS 80
@@ -110,78 +114,30 @@ void vga_print(const char* string)
     vga_print_colored(string, vga_default_color());
 }
 
-void vga_print_success(const char* message)
+void vga_print_success(void)
 {
     vga_print("[ ");
     vga_print_colored("success", VGA_GREEN);
-    vga_print(" ] ");
-    vga_print(message);
+    vga_print(" ]");
 }
 
-void vga_print_error(const char* message)
+void vga_print_error(void)
 {
     vga_print("[ ");
     vga_print_colored("error", VGA_RED);
-    vga_print(" ] ");
-    vga_print(message);
+    vga_print(" ]");
 }
 
-static void reverse(char* str, int length)
-{
-    int start = 0;
-    int end = length - 1;
-    while (start < end)
-    {
-        char temp = str[start];
-        str[start] = str[end];
-        str[end] = temp;
-        start++;
-        end--;
-    }
-}
-
-static int uitoa(unsigned int value, char* buffer)
-{
-    int i = 0;
-    if (value == 0)
-    {
-        buffer[i++] = '0';
-        buffer[i] = '\0';
-        return i;
-    }
-
-    while (value > 0)
-    {
-        buffer[i++] = (value % 10) + '0';
-        value /= 10;
-    }
-
-    buffer[i] = '\0';
-    reverse(buffer, i);
-    return i;
-}
-
-void vga_print_uint(unsigned int value)
+void vga_print_uint(uint64_t value)
 {
     char buffer[11];
     uitoa(value, buffer);
     vga_print(buffer);
 }
 
-void vga_print_int(int value)
+void vga_print_int(int64_t value)
 {
     char buffer[12];
-
-    if (value < 0)
-    {
-        vga_print("-");
-        unsigned int abs_val = (unsigned int)(-value);
-        uitoa(abs_val, buffer);
-    }
-    else
-    {
-        uitoa((unsigned int)value, buffer);
-    }
-
+    itoa(value, buffer);
     vga_print(buffer);
 }