diff options
Diffstat (limited to 'core/minute-ia/panic.c')
-rw-r--r-- | core/minute-ia/panic.c | 23 |
1 files changed, 11 insertions, 12 deletions
diff --git a/core/minute-ia/panic.c b/core/minute-ia/panic.c index 06c903be0c..40e8ee1cf0 100644 --- a/core/minute-ia/panic.c +++ b/core/minute-ia/panic.c @@ -13,14 +13,13 @@ #include "task.h" #include "timer.h" #include "util.h" -#include "watchdog.h" /* * This array maps an interrupt vector number to the corresponding * exception name. See see "Intel 64 and IA-32 Architectures Software * Developer's Manual", Volume 3A, Section 6.15. */ -const static char *PANIC_REASON[] = { +const static char *panic_reason[] = { "Divide By Zero", "Debug Exception", "NMI Interrupt", @@ -45,13 +44,14 @@ const static char *PANIC_REASON[] = { }; /* - * Print panic data + * Print panic data. This may be called either from the report_panic + * procedure (below) while handling a panic, or from the panicinfo + * console command. */ void panic_data_print(const struct panic_data *pdata) { - panic_printf("\n========== PANIC ==========\n"); if (pdata->x86.vector <= 20) - panic_printf("%s\n", PANIC_REASON[pdata->x86.vector]); + panic_printf("Reason: %s\n", panic_reason[pdata->x86.vector]); else panic_printf("Interrupt vector number: 0x%08X (unknown)\n", pdata->x86.vector); @@ -66,13 +66,6 @@ void panic_data_print(const struct panic_data *pdata) panic_printf("EDX = 0x%08X\n", pdata->x86.edx); panic_printf("ESI = 0x%08X\n", pdata->x86.esi); panic_printf("EDI = 0x%08X\n", pdata->x86.edi); - panic_printf("\n"); - panic_printf("Resetting system...\n"); - panic_printf("===========================\n"); -} - -void __keep report_panic(void) -{ } /** @@ -132,7 +125,13 @@ __attribute__ ((noreturn)) void __keep exception_panic( if (panic_once) panic_printf("\nWhile resetting from a panic, another panic" " occurred!"); + + panic_printf("\n========== PANIC ==========\n"); panic_data_print(PANIC_DATA_PTR); + panic_printf("\n"); + panic_printf("Resetting system...\n"); + panic_printf("===========================\n"); + if (panic_once) { system_reset(SYSTEM_RESET_HARD); } else { |