| 36,6 → 36,7 |
|---|
| #include <arch.h> |
| #include <func.h> |
| #include <print.h> |
| #include <arch/atomic.h> |
| |
| /** Standard input character device. */ |
| chardev_t *stdin = NULL; |
| 52,7 → 53,7 |
|---|
| __u8 ch; |
| ipl_t ipl; |
| |
| if (haltstate) { |
| if (atomic_get(&haltstate)) { |
| /* If we are here, we are hopefully on the processor, that |
| * issued the 'halt' command, so proceed to read the character |
| * directly from input |
| 60,7 → 61,11 |
|---|
| if (chardev->op->read) |
| return chardev->op->read(chardev); |
| /* no other way of interacting with user, halt */ |
| printf("cpu: halted - no kconsole\n"); |
| if (CPU) |
| printf("cpu%d: ", CPU->id); |
| else |
| printf("cpu: "); |
| printf("halted - no kconsole\n"); |
| cpu_halt(); |
| } |
| |