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

Go to the source code of this file.

Functions

void __div0 (void)
 

Function Documentation

◆ __div0()

void __div0 ( void  )

Definition at line 9 of file div0.c.

References BIOS_EMERG, and printk.