Rev 3618 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3618 | Rev 3742 | ||
|---|---|---|---|
| Line 104... | Line 104... | ||
| 104 | if (CPU->arch.mid == mid) |
104 | if (CPU->arch.mid == mid) |
| 105 | return; |
105 | return; |
| 106 | 106 | ||
| 107 | waking_up_mid = mid; |
107 | waking_up_mid = mid; |
| 108 | 108 | ||
| 109 | if (waitq_sleep_timeout(&ap_completion_wq, 1000000, SYNCH_FLAGS_NONE) == ESYNCH_TIMEOUT) |
109 | if (waitq_sleep_timeout(&ap_completion_wq, 1000000, SYNCH_FLAGS_NONE) == |
| - | 110 | ESYNCH_TIMEOUT) |
|
| 110 | printf("%s: waiting for processor (mid = %" PRIu32 ") timed out\n", |
111 | printf("%s: waiting for processor (mid = %" PRIu32 |
| 111 | __func__, mid); |
112 | ") timed out\n", __func__, mid); |
| 112 | } |
113 | } |
| 113 | 114 | ||
| 114 | /** Wake application processors up. */ |
115 | /** Wake application processors up. */ |
| 115 | void kmp(void *arg) |
116 | void kmp(void *arg) |
| 116 | { |
117 | { |