coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
exception_mr.c
Go to the documentation of this file.
1 /* SPDX-License-Identifier: BSD-3-Clause */
2 
3 #include <arch/exception.h>
4 #include <console/console.h>
5 
6 void exception_init(void)
7 {
8  printk(BIOS_DEBUG, "Exception handlers not installed.\n");
9 }
printk
#define printk(level,...)
Definition: stdlib.h:16
exception_init
void exception_init(void)
Definition: exception_mr.c:6
BIOS_DEBUG
#define BIOS_DEBUG
BIOS_DEBUG - Verbose output.
Definition: loglevel.h:128