Rev 131 | Rev 195 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 131 | Rev 170 | ||
|---|---|---|---|
| Line 145... | Line 145... | ||
| 145 | * There may be just one AP being initialized at |
145 | * There may be just one AP being initialized at |
| 146 | * the time. After it comes completely up, it is |
146 | * the time. After it comes completely up, it is |
| 147 | * supposed to wake us up. |
147 | * supposed to wake us up. |
| 148 | */ |
148 | */ |
| 149 | waitq_sleep(&ap_completion_wq); |
149 | waitq_sleep(&ap_completion_wq); |
| 150 | cpu_priority_high(); |
- | |
| 151 | } |
150 | } |
| 152 | else { |
151 | else { |
| 153 | printf("INIT IPI for l_apic%d failed\n", ops->cpu_apic_id(i)); |
152 | printf("INIT IPI for l_apic%d failed\n", ops->cpu_apic_id(i)); |
| 154 | } |
153 | } |
| 155 | } |
154 | } |