coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
vboot_lib.c File Reference
#include <console/console.h>
#include <console/vtxprintf.h>
#include <vb2_api.h>
Include dependency graph for vboot_lib.c:

Go to the source code of this file.

Functions

void vb2ex_printf (const char *func, const char *fmt,...)
 
void vb2ex_abort (void)
 

Function Documentation

◆ vb2ex_abort()

void vb2ex_abort ( void  )

Definition at line 25 of file vboot_lib.c.

References die().

Here is the call graph for this function:

◆ vb2ex_printf()

void vb2ex_printf ( const char *  func,
const char *  fmt,
  ... 
)

Definition at line 13 of file vboot_lib.c.

References args, BIOS_INFO, printk, va_end, va_start, and vprintk().

Here is the call graph for this function: