Ronald G. Minnich (rminnich(a)gmail.com) just uploaded a new patch set to gerrit, which you
can find at http://review.coreboot.org/2233
Author: Ronald G. Minnich <rminnich(a)gmail.com>
Date: Wed Jan 30 15:05:19 2013 -0600
armv7: don't hang on divide by zero
People make mistakes. Hanging the box is not a good reason to kill the firmware,
esp. since this is probably happening in a printk.
The only issue with the recursive call to printk is that we may
deadlock if we have locked something. But we can at least try.
Hanging is certainly not what we want ...
Signed-off-by: Ronald G. Minnich <rminnich(a)gmail.com>
src/arch/armv7/lib/div0.c | 7 ++++---
1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/src/arch/armv7/lib/div0.c b/src/arch/armv7/lib/div0.c
index 632c247..ab06ad3 100644
@@ -21,12 +21,13 @@
* MA 02111-1307 USA
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);
+ printk(BIOS_EMERG, "DIVIDE BY ZERO! continuing ... \n");