Rev 3397 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3397 | Rev 3862 | ||
|---|---|---|---|
| Line 126... | Line 126... | ||
| 126 | */ |
126 | */ |
| 127 | 127 | ||
| 128 | #include <synch/spinlock.h> |
128 | #include <synch/spinlock.h> |
| 129 | #include <ipc/ipc.h> |
129 | #include <ipc/ipc.h> |
| 130 | #include <arch.h> |
130 | #include <arch.h> |
| - | 131 | #include <arch/asm.h> |
|
| 131 | #include <proc/task.h> |
132 | #include <proc/task.h> |
| 132 | #include <ipc/ipcrsc.h> |
133 | #include <ipc/ipcrsc.h> |
| 133 | #include <debug.h> |
134 | #include <debug.h> |
| 134 | 135 | ||
| 135 | /** Find call_t * in call table according to callid. |
136 | /** Find call_t * in call table according to callid. |