Rev 2745 | Rev 3707 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2745 | Rev 3056 | ||
|---|---|---|---|
| Line 71... | Line 71... | ||
| 71 | printf("\n"); |
71 | printf("\n"); |
| 72 | kconsole("panic"); /* Run kconsole as a last resort to user */ |
72 | kconsole("panic"); /* Run kconsole as a last resort to user */ |
| 73 | } |
73 | } |
| 74 | #endif |
74 | #endif |
| 75 | if (CPU) |
75 | if (CPU) |
| 76 | printf("cpu%d: halted\n", CPU->id); |
76 | printf("cpu%u: halted\n", CPU->id); |
| 77 | else |
77 | else |
| 78 | printf("cpu: halted\n"); |
78 | printf("cpu: halted\n"); |
| 79 | cpu_halt(); |
79 | cpu_halt(); |
| 80 | } |
80 | } |
| 81 | 81 | ||