Rev 2787 | Rev 3675 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2787 | Rev 3424 | ||
|---|---|---|---|
| Line 97... | Line 97... | ||
| 97 | * Processor with ID == mid can proceed with its initialization. |
97 | * Processor with ID == mid can proceed with its initialization. |
| 98 | */ |
98 | */ |
| 99 | waking_up_mid = mid; |
99 | waking_up_mid = mid; |
| 100 | 100 | ||
| 101 | if (waitq_sleep_timeout(&ap_completion_wq, 1000000, SYNCH_FLAGS_NONE) == ESYNCH_TIMEOUT) |
101 | if (waitq_sleep_timeout(&ap_completion_wq, 1000000, SYNCH_FLAGS_NONE) == ESYNCH_TIMEOUT) |
| 102 | printf("%s: waiting for processor (mid = %d) timed out\n", |
102 | printf("%s: waiting for processor (mid = %" PRIu32 ") timed out\n", |
| 103 | __func__, mid); |
103 | __func__, mid); |
| 104 | } |
104 | } |
| 105 | } |
105 | } |
| 106 | 106 | ||
| 107 | /** @} |
107 | /** @} |