1
0
Fork 0
mirror of https://github.com/tailix/kernel.git synced 2024-10-30 12:03:52 -04:00
kernel/arch/logger.c

109 lines
2.3 KiB
C
Raw Normal View History

2017-11-01 01:01:29 -04:00
#include "logger.h"
#include "console.h"
2017-11-05 22:48:16 -05:00
#include <kernelmq/stdlib.h>
2017-11-01 01:01:29 -04:00
2017-11-05 22:48:16 -05:00
#define LEVELS_COUNT 3
2017-11-01 01:01:29 -04:00
2017-11-05 22:48:16 -05:00
static const enum vga_color level_colors[LEVELS_COUNT] = {
VGA_COLOR_CYAN,
VGA_COLOR_MAGENTA,
VGA_COLOR_RED,
};
2017-11-01 01:01:29 -04:00
2017-11-05 22:48:16 -05:00
static const char *const level_text[LEVELS_COUNT] = {
"INFO",
"WARN",
"FAIL",
};
2017-11-01 01:01:29 -04:00
2017-11-05 23:01:49 -05:00
static void print_level(unsigned char level);
2017-11-05 22:48:16 -05:00
void logger_log(unsigned char level, const char *format, ...)
2017-11-01 01:01:29 -04:00
{
2017-11-05 22:48:16 -05:00
if (level >= LEVELS_COUNT) {
level = LEVELS_COUNT - 1;
}
2017-11-01 01:01:29 -04:00
2017-11-05 23:01:49 -05:00
print_level(level);
2017-11-01 01:01:29 -04:00
console_setcolor(VGA_COLOR_WHITE);
2017-11-05 22:48:16 -05:00
char **arg = (char **) &format;
int c;
char buf[20];
arg++;
2017-11-05 23:01:49 -05:00
unsigned char color = VGA_COLOR_WHITE;
2017-11-05 22:48:16 -05:00
while ((c = *format++) != 0)
{
2017-11-05 23:01:49 -05:00
console_setcolor(color);
if (c == '\n') {
console_putc('\n');
print_level(level);
color = VGA_COLOR_LIGHT_GREY;
}
else if (c != '%') {
2017-11-05 22:48:16 -05:00
console_putc(c);
}
else {
char *p, *p2;
int pad0 = 0, pad = 0;
c = *format++;
if (c == '0')
{
pad0 = 1;
c = *format++;
}
if (c >= '0' && c <= '9')
{
pad = c - '0';
c = *format++;
}
switch (c)
{
case 'd':
case 'u':
case 'x':
kitoa (buf, c, *((int *) arg++));
p = buf;
goto string;
break;
case 's':
p = *arg++;
if (! p)
p = "(null)";
string:
for (p2 = p; *p2; p2++);
for (; p2 < p + pad; p2++)
console_putc(pad0 ? '0' : ' ');
while (*p)
console_putc(*p++);
break;
default:
console_putc(*((int *) arg++));
break;
}
}
}
console_putc('\n');
2017-11-01 01:01:29 -04:00
}
2017-11-05 23:01:49 -05:00
void print_level(unsigned char level)
{
console_setcolor(VGA_COLOR_LIGHT_GREY);
console_putc('[');
console_setcolor(level_colors[level]);
console_print(level_text[level]);
console_setcolor(VGA_COLOR_LIGHT_GREY);
console_putc(']');
console_putc(' ');
}