coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
div0.c
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-or-later */
2 
3 #include <console/console.h>
4 
5 void __div0(void); // called from asm so no need for a prototype in a header
6 
7 /* Replacement (=dummy) for GNU/Linux division-by zero handler */
8 /* recursion is ok here because we have no formats ... */
9 void __div0(void)
10 {
11  printk(BIOS_EMERG, "DIVIDE BY ZERO! continuing ...\n");
12 }
void __div0(void)
Definition: div0.c:9
#define printk(level,...)
Definition: stdlib.h:16
#define BIOS_EMERG
BIOS_EMERG - Emergency / Fatal.
Definition: loglevel.h:25