35 __builtin_va_list args;
36 __builtin_va_start(args, message_);
60 __builtin_va_end(args);
void console_chfg(uint32_t color)
void console_add_space(int n)
void console_vaprintf(const char *fmt, __builtin_va_list args)
void console_printf(const char *fmt,...)
void kernel_debug_impl(const char *file_, uint16_t line_num_, DEBUG_LEVEL level_, const char *message_,...)
static char * get_debug_level_str(DEBUG_LEVEL level_)
void parse_multicore(__builtin_va_list args, const char *fmt)