/* SPDX-License-Identifier: GPL-2.0-or-later */ | |
/* This file is part of the coreboot project. */ | |
#include <console/console.h> | |
void __div0(void); // called from asm so no need for a prototype in a header | |
/* Replacement (=dummy) for GNU/Linux division-by zero handler */ | |
/* recursion is ok here because we have no formats ... */ | |
void __div0(void) | |
{ | |
printk(BIOS_EMERG, "DIVIDE BY ZERO! continuing ...\n"); | |
} |