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
}
__div0
void __div0(void)
Definition:
div0.c:9
printk
#define printk(level,...)
Definition:
stdlib.h:16
console.h
BIOS_EMERG
#define BIOS_EMERG
BIOS_EMERG - Emergency / Fatal.
Definition:
loglevel.h:25
src
arch
arm
div0.c
Generated by
1.9.1