1 /* SPDX-License-Identifier: GPL-2.0-only */
2
3 #include <console/console.h>
4 #include <console/vtxprintf.h>
5 #include <vb2_api.h>
6
7 /*
8 * vboot callbacks implemented by coreboot -- necessary for making general API
9 * calls when CONFIG(VBOOT_LIB) is enabled. For callbacks specific to verstage
10 * CONFIG(VBOOT), please see vboot_logic.c.
11 */
12
vb2ex_printf(const char * func,const char * fmt,...)13 void vb2ex_printf(const char *func, const char *fmt, ...)
14 {
15 va_list args;
16
17 if (func)
18 printk(BIOS_INFO, "VB2:%s() ", func);
19
20 va_start(args, fmt);
21 vprintk(BIOS_INFO, fmt, args);
22 va_end(args);
23 }
24
vb2ex_abort(void)25 void vb2ex_abort(void)
26 {
27 die("vboot has aborted execution; exit\n");
28 }
29