1 /* SPDX-License-Identifier: GPL-2.0-or-later */
3 #include <console/console.h>
5 void __div0(void); // called from asm so no need for a prototype in a header
7 /* Replacement (=dummy) for GNU/Linux division-by zero handler */
8 /* recursion is ok here because we have no formats ... */
11 printk(BIOS_EMERG
, "DIVIDE BY ZERO! continuing ...\n");