1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #include <console/console.h>
6 #include <tests/test.h>
12 int printk(int msg_level
, const char *fmt
, ...)
17 vprint_message(fmt
, v
);
23 int vprintk(int msg_level
, const char *fmt
, va_list args
)
26 vprint_message(fmt
, args
);
31 int console_log_level(int msg_level
)