Rev 1 | Rev 195 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1 | Rev 115 | ||
---|---|---|---|
Line 28... | Line 28... | ||
28 | 28 | ||
29 | #include <synch/synch.h> |
29 | #include <synch/synch.h> |
30 | #include <synch/semaphore.h> |
30 | #include <synch/semaphore.h> |
31 | #include <synch/waitq.h> |
31 | #include <synch/waitq.h> |
32 | #include <synch/spinlock.h> |
32 | #include <synch/spinlock.h> |
- | 33 | #include <arch/asm.h> |
|
33 | 34 | ||
34 | void semaphore_initialize(semaphore_t *s, int val) |
35 | void semaphore_initialize(semaphore_t *s, int val) |
35 | { |
36 | { |
36 | pri_t pri; |
37 | pri_t pri; |
37 | 38 |