Rev 2787 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2787 | Rev 3424 | ||
---|---|---|---|
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 |