Rev 115 | Rev 384 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 115 | Rev 195 | ||
---|---|---|---|
Line 29... | Line 29... | ||
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 | #include <arch/asm.h> |
- | 34 | #include <arch.h> |
|
34 | 35 | ||
35 | void semaphore_initialize(semaphore_t *s, int val) |
36 | void semaphore_initialize(semaphore_t *s, int val) |
36 | { |
37 | { |
37 | pri_t pri; |
38 | pri_t pri; |
38 | 39 |