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