vboot_lib.c

Go to the documentation of this file.

/* 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");
}