Rev 2087 | Rev 3186 | 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 |