blob: b2303c029586483611e006edbfd8ae3c53fe8450 [file] [log] [blame]
Joel Kitchingec12bd02020-02-04 17:36:49 +08001/* SPDX-License-Identifier: GPL-2.0-only */
2/* This file is part of the coreboot project. */
3
4#include <console/console.h>
5#include <console/vtxprintf.h>
6#include <vb2_api.h>
7
8/*
9 * vboot callbacks implemented by coreboot -- necessary for making general API
10 * calls when CONFIG_VBOOT_LIB is enabled. For callbacks specific to verstage
11 * (CONFIG_VBOOT), please see vboot_logic.c.
12 */
13
14void vb2ex_printf(const char *func, const char *fmt, ...)
15{
16 va_list args;
17
18 if (func)
19 printk(BIOS_INFO, "VB2:%s() ", func);
20
21 va_start(args, fmt);
22 vprintk(BIOS_INFO, fmt, args);
23 va_end(args);
24}
25
26void vb2ex_abort(void)
27{
28 die("vboot has aborted execution; exit\n");
29}