| /kernel/trunk/generic/src/lib/func.c |
|---|
| 32,6 → 32,7 |
| #include <arch/asm.h> |
| #include <arch.h> |
| #include <typedefs.h> |
| #include <console/kconsole.h> |
| __u32 haltstate = 0; /**< Halt flag */ |
| 45,6 → 46,11 |
| { |
| haltstate = 1; |
| interrupts_disable(); |
| #ifdef CONFIG_DEBUG |
| printf("\n"); |
| kconsole(NULL); /* Run kconsole as a last resort to user */ |
| #endif |
| if (CPU) |
| printf("cpu%d: halted\n", CPU->id); |
| else |