switch (log_level) {
case '0':
- snprintf(expanded_fmt,
- MAX_XFMT_SIZE,
- "[%s] (%s) %s",
- "INFO",
- component,
- fmt);
+ ksnprintf(expanded_fmt,
+ MAX_XFMT_SIZE,
+ "[%s] (%s) %s",
+ "INFO",
+ component,
+ fmt);
break;
case '1':
// tty_set_theme(VGA_COLOR_BROWN, current_theme >> 12);
- snprintf(expanded_fmt,
- MAX_XFMT_SIZE,
- "\033[6;0m[%s] (%s) %s\033[39;49m",
- "WARN",
- component,
- fmt);
+ ksnprintf(expanded_fmt,
+ MAX_XFMT_SIZE,
+ "\033[6;0m[%s] (%s) %s\033[39;49m",
+ "WARN",
+ component,
+ fmt);
break;
case '2':
// tty_set_theme(VGA_COLOR_LIGHT_RED, current_theme >> 12);
- snprintf(expanded_fmt,
- MAX_XFMT_SIZE,
- "\033[12;0m[%s] (%s) %s\033[39;49m",
- "EROR",
- component,
- fmt);
+ ksnprintf(expanded_fmt,
+ MAX_XFMT_SIZE,
+ "\033[12;0m[%s] (%s) %s\033[39;49m",
+ "EROR",
+ component,
+ fmt);
break;
case '3':
// tty_set_theme(VGA_COLOR_LIGHT_BLUE, current_theme >> 12);
- snprintf(expanded_fmt,
- MAX_XFMT_SIZE,
- "\033[9;0m[%s] (%s) %s\033[39;49m",
- "DEBG",
- component,
- fmt);
+ ksnprintf(expanded_fmt,
+ MAX_XFMT_SIZE,
+ "\033[9;0m[%s] (%s) %s\033[39;49m",
+ "DEBG",
+ component,
+ fmt);
break;
default:
- snprintf(expanded_fmt,
- MAX_XFMT_SIZE,
- "[%s] (%s) %s",
- "LOG",
- component,
- fmt);
+ ksnprintf(expanded_fmt,
+ MAX_XFMT_SIZE,
+ "[%s] (%s) %s",
+ "LOG",
+ component,
+ fmt);
break;
}
- __sprintf_internal(buf, expanded_fmt, MAX_KPRINTF_BUF_SIZE, args);
+ __ksprintf_internal(buf, expanded_fmt, MAX_KPRINTF_BUF_SIZE, args);
console_write_str(buf);
}
tty_set_theme(VGA_COLOR_WHITE, VGA_COLOR_RED);
tty_clear_line(24);
- __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);
+ tty_put_str_at(buf, 0, 24);
+
+ va_end(args);
+
+ tty_set_theme(VGA_COLOR_WHITE, VGA_COLOR_BLACK);
+}
+
+void
+kprint_hex(const void* buffer, unsigned int size)
+{
+ unsigned char* data = (unsigned char*)buffer;
+ char buf[16];
+ char ch_cache[16];
+ unsigned int ptr = 0;
+ int i;
+
+ ch_cache[0] = '|';
+ ch_cache[1] = ' ';
+ while (size) {
+ ksnprintf(buf, 64, " %.4p: ", ptr);
+ console_write_str(buf);
+ for (i = 0; i < 8 && size; i++, size--, ptr++) {
+ unsigned char c = *(data + ptr) & 0xff;
+ ch_cache[2 + i] = (32 <= c && c < 127) ? c : '.';
+ ksnprintf(buf, 64, "%.2x ", c);
+ console_write_str(buf);
+ }
+ ch_cache[2 + i] = '\0';
+ console_write_str(ch_cache);
+ console_write_char('\n');
+ }
}
\ No newline at end of file