diff options
Diffstat (limited to 'src/panic.c')
| -rw-r--r-- | src/panic.c | 20 |
1 files changed, 18 insertions, 2 deletions
diff --git a/src/panic.c b/src/panic.c index 5495ebe..34bfa69 100644 --- a/src/panic.c +++ b/src/panic.c @@ -9,12 +9,28 @@ #include <kmi/syscalls.h> #include <kmi/power.h> #include <kmi/debug.h> +#include <kmi/tcb.h> void kernel_panic(void *pc, void *addr, long cause) { /* could be useful to print out register values as well? */ - error("kernel paniced at pc: %p with address %p and cause %lx\n", - pc, addr, cause); + error("thread %d kernel paniced at pc: %p with address %p and cause %lx\n", + cur_tcb()->cpu_id, pc, addr, cause); + + info("attempting to reboot\n"); + + poweroff(SYS_COLD_REBOOT); + + /* spin if poweroff failed for some reason */ + error("reboot failed, spinning in place\n"); + while (1); +} + +void unhandled_panic(void *pc, void *addr, long cause) +{ + /* could be useful to print out register values as well? */ + error("thread %d unhandled panic at pc: %p with address %p and cause %lx\n", + cur_tcb()->cpu_id, pc, addr, cause); info("attempting to reboot\n"); |