coreboot-kgpe-d16/tests/stubs/console.c

21 lines
304 B
C

/* SPDX-License-Identifier: GPL-2.0-only */
#include <console/console.h>
#include <stdarg.h>
#include <stdio.h>
int printk(int msg_level, const char *fmt, ...)
{
return 0;
}
int vprintk(int msg_level, const char *fmt, va_list args)
{
return 0;
}
int console_log_level(int msg_level)
{
return 0;
}