Rev 1477 | Rev 1576 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1477 | Rev 1502 | ||
|---|---|---|---|
| Line 165... | Line 165... | ||
| 165 | /* |
165 | /* |
| 166 | * There may be just one AP being initialized at |
166 | * There may be just one AP being initialized at |
| 167 | * the time. After it comes completely up, it is |
167 | * the time. After it comes completely up, it is |
| 168 | * supposed to wake us up. |
168 | * supposed to wake us up. |
| 169 | */ |
169 | */ |
| 170 | if (waitq_sleep_timeout(&ap_completion_wq, 1000000, SYNCH_BLOCKING) == ESYNCH_TIMEOUT) |
170 | if (waitq_sleep_timeout(&ap_completion_wq, 1000000, SYNCH_FLAGS_NONE) == ESYNCH_TIMEOUT) |
| 171 | printf("%s: waiting for cpu%d (APIC ID = %d) timed out\n", __FUNCTION__, config.cpu_active > i ? config.cpu_active : i, ops->cpu_apic_id(i)); |
171 | printf("%s: waiting for cpu%d (APIC ID = %d) timed out\n", __FUNCTION__, config.cpu_active > i ? config.cpu_active : i, ops->cpu_apic_id(i)); |
| 172 | } else |
172 | } else |
| 173 | printf("INIT IPI for l_apic%d failed\n", ops->cpu_apic_id(i)); |
173 | printf("INIT IPI for l_apic%d failed\n", ops->cpu_apic_id(i)); |
| 174 | } |
174 | } |
| 175 | 175 | ||