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 | } |