Joel Kitching | ec12bd0 | 2020-02-04 17:36:49 +0800 | [diff] [blame] | 1 | /* SPDX-License-Identifier: GPL-2.0-only */ |
Joel Kitching | ec12bd0 | 2020-02-04 17:36:49 +0800 | [diff] [blame] | 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 |
Martin Roth | f48acbd | 2020-07-24 12:24:27 -0600 | [diff] [blame] | 9 | * calls when CONFIG(VBOOT_LIB) is enabled. For callbacks specific to verstage |
| 10 | * CONFIG(VBOOT), please see vboot_logic.c. |
Joel Kitching | ec12bd0 | 2020-02-04 17:36:49 +0800 | [diff] [blame] | 11 | */ |
| 12 | |
| 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 | |
| 25 | void vb2ex_abort(void) |
| 26 | { |
| 27 | die("vboot has aborted execution; exit\n"); |
| 28 | } |