- __sprintf_internal(buf, fmt, MAX_KPRINTF_BUF_SIZE, args);
+ __ksprintf_internal(buf, fmt, MAX_KPRINTF_BUF_SIZE, args);
+ tty_put_str_at(buf, 0, 24);
+
+ va_end(args);
+}
+
+void
+kprint_dbg(const char* fmt, ...)
+{
+ char buf[MAX_KPRINTF_BUF_SIZE];
+ va_list args;
+ va_start(args, fmt);
+
+ tty_set_theme(VGA_COLOR_WHITE, VGA_COLOR_MAGENTA);
+ tty_clear_line(24);
+
+ __ksprintf_internal(buf, fmt, MAX_KPRINTF_BUF_SIZE, args);