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); |