Rev 2131 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2131 | Rev 2307 | ||
|---|---|---|---|
| Line 98... | Line 98... | ||
| 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 = %d) timed out\n", |
| 103 | __FUNCTION__, mid); |
103 | __FUNCTION__, mid); |
| 104 | } |
104 | } |
| 105 | } |
105 | } |
| 106 | 106 | ||
| 107 | /** @} |
107 | /** @} |
| 108 | */ |
108 | */ |