Rev 2087 | Rev 3059 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2087 | Rev 2089 | ||
|---|---|---|---|
| Line 61... | Line 61... | ||
| 61 | #include <synch/spinlock.h> |
61 | #include <synch/spinlock.h> |
| 62 | #include <synch/mutex.h> |
62 | #include <synch/mutex.h> |
| 63 | #include <synch/waitq.h> |
63 | #include <synch/waitq.h> |
| 64 | #include <synch/synch.h> |
64 | #include <synch/synch.h> |
| 65 | #include <adt/list.h> |
65 | #include <adt/list.h> |
| 66 | #include <typedefs.h> |
- | |
| 67 | #include <arch/asm.h> |
66 | #include <arch/asm.h> |
| 68 | #include <arch.h> |
67 | #include <arch.h> |
| 69 | #include <proc/thread.h> |
68 | #include <proc/thread.h> |
| 70 | #include <panic.h> |
69 | #include <panic.h> |
| 71 | 70 | ||