Rev 2042 | Rev 2071 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2042 | Rev 2050 | ||
|---|---|---|---|
| Line 79... | Line 79... | ||
| 79 | 79 | ||
| 80 | semaphore_up(&sem); |
80 | semaphore_up(&sem); |
| 81 | printf("cpu%d, tid %d up\n", CPU->id, THREAD->tid); |
81 | printf("cpu%d, tid %d up\n", CPU->id, THREAD->tid); |
| 82 | } |
82 | } |
| 83 | 83 | ||
| 84 | char * test_semaphore2(void) |
84 | char * test_semaphore2(bool quiet) |
| 85 | { |
85 | { |
| 86 | uint32_t i, k; |
86 | uint32_t i, k; |
| 87 | 87 | ||
| 88 | waitq_initialize(&can_start); |
88 | waitq_initialize(&can_start); |
| 89 | semaphore_initialize(&sem, 5); |
89 | semaphore_initialize(&sem, 5); |