blob: 3cb31cf2dad92cf80cb27e5f71582b7c1b4d6d9f [file] [log] [blame]
/* 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");
}