| 47,7 → 47,7 |
|---|
| |
| /** Halt wrapper |
| * |
| * Set halt flag and halt the cpu. |
| * Set halt flag and halt the CPU. |
| * |
| */ |
| void halt() |
| 66,8 → 66,8 |
|---|
| interrupts_disable(); |
| |
| #if (defined(CONFIG_DEBUG)) && (defined(CONFIG_KCONSOLE)) |
| if (rundebugger) |
| kconsole("panic", "\nLast resort kernel console ready\n", false); |
| if ((rundebugger) && (kconsole_check_poll())) |
| kconsole("panic", "\nLast resort kernel console ready.\n", false); |
| #endif |
| |
| if (CPU) |
| 74,6 → 74,7 |
|---|
| printf("cpu%u: halted\n", CPU->id); |
| else |
| printf("cpu: halted\n"); |
| |
| cpu_halt(); |
| } |
| |