src/security/vboot/vboot_lib.c

   1 /* SPDX-License-Identifier: GPL-2.0-only */
   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
   9  * calls when CONFIG(VBOOT_LIB) is enabled.  For callbacks specific to verstage
  10  * CONFIG(VBOOT), please see vboot_logic.c.
  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 }