summaryrefslogtreecommitdiff
path: root/src/security/vboot/vboot_lib.c
blob: 06fd6d7478227ad9ec4830731adcc64ad0028a0d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
/* SPDX-License-Identifier: GPL-2.0-only */

#include <console/console.h>
#include <console/vtxprintf.h>
#include <vb2_api.h>

/*
 * vboot callbacks implemented by coreboot -- necessary for making general API
 * calls when CONFIG(VBOOT_LIB) is enabled.  For callbacks specific to verstage
 * CONFIG(VBOOT), please see vboot_logic.c.
 */

void vb2ex_printf(const char *func, const char *fmt, ...)
{
	va_list args;

	if (func)
		printk(BIOS_INFO, "VB2:%s() ", func);

	va_start(args, fmt);
	vprintk(BIOS_INFO, fmt, args);
	va_end(args);
}

void vb2ex_abort(void)
{
	die("vboot has aborted execution; exit\n");
}