Rev 72 | Rev 331 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 72 | Rev 227 | ||
---|---|---|---|
Line 42... | Line 42... | ||
42 | */ |
42 | */ |
43 | void halt(void) |
43 | void halt(void) |
44 | { |
44 | { |
45 | haltstate = 1; |
45 | haltstate = 1; |
46 | cpu_priority_high(); |
46 | cpu_priority_high(); |
- | 47 | if (CPU) |
|
47 | printf("cpu%d: halted\n", CPU->id); |
48 | printf("cpu%d: halted\n", CPU->id); |
- | 49 | else |
|
- | 50 | printf("cpu: halted\n"); |
|
48 | cpu_halt(); |
51 | cpu_halt(); |
49 | } |
52 | } |
50 | 53 | ||
51 | 54 | ||
52 | /** Compare two NULL terminated strings |
55 | /** Compare two NULL terminated strings |