diff options
| -rw-r--r-- | src/arch/armv7/lib/div0.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/arch/armv7/lib/div0.c b/src/arch/armv7/lib/div0.c index 632c247b5c..ab06ad3bee 100644 --- a/src/arch/armv7/lib/div0.c +++ b/src/arch/armv7/lib/div0.c @@ -21,12 +21,13 @@ * MA 02111-1307 USA */ +#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) { - extern void hang (void); - - hang(); + printk(BIOS_EMERG, "DIVIDE BY ZERO! continuing ... \n"); } |