| /branches/sparc/kernel/arch/sparc64/src/smp/smp.c |
|---|
| 106,9 → 106,10 |
| waking_up_mid = mid; |
| if (waitq_sleep_timeout(&ap_completion_wq, 1000000, SYNCH_FLAGS_NONE) == ESYNCH_TIMEOUT) |
| printf("%s: waiting for processor (mid = %" PRIu32 ") timed out\n", |
| __func__, mid); |
| if (waitq_sleep_timeout(&ap_completion_wq, 1000000, SYNCH_FLAGS_NONE) == |
| ESYNCH_TIMEOUT) |
| printf("%s: waiting for processor (mid = %" PRIu32 |
| ") timed out\n", __func__, mid); |
| } |
| /** Wake application processors up. */ |