Rev 3343 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3343 | Rev 3742 | ||
---|---|---|---|
Line 165... | Line 165... | ||
165 | /* no other way of interacting with user, halt */ |
165 | /* no other way of interacting with user, halt */ |
166 | if (CPU) |
166 | if (CPU) |
167 | printf("cpu%u: ", CPU->id); |
167 | printf("cpu%u: ", CPU->id); |
168 | else |
168 | else |
169 | printf("cpu: "); |
169 | printf("cpu: "); |
170 | printf("halted - no kconsole\n"); |
170 | printf("halted (no kconsole)\n"); |
171 | cpu_halt(); |
171 | cpu_halt(); |
172 | } |
172 | } |
173 | 173 | ||
174 | waitq_sleep(&chardev->wq); |
174 | waitq_sleep(&chardev->wq); |
175 | ipl = interrupts_disable(); |
175 | ipl = interrupts_disable(); |