Rev 1787 | Rev 1923 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1787 | Rev 1875 | ||
---|---|---|---|
Line 53... | Line 53... | ||
53 | #include <ipc/ipc.h> |
53 | #include <ipc/ipc.h> |
54 | #include <ipc/irq.h> |
54 | #include <ipc/irq.h> |
55 | #include <atomic.h> |
55 | #include <atomic.h> |
56 | #include <syscall/copy.h> |
56 | #include <syscall/copy.h> |
57 | #include <console/console.h> |
57 | #include <console/console.h> |
- | 58 | #include <print.h> |
|
58 | 59 | ||
59 | typedef struct { |
60 | typedef struct { |
60 | SPINLOCK_DECLARE(lock); |
61 | SPINLOCK_DECLARE(lock); |
61 | answerbox_t *box; |
62 | answerbox_t *box; |
62 | irq_code_t *code; |
63 | irq_code_t *code; |
Line 65... | Line 66... | ||
65 | 66 | ||
66 | 67 | ||
67 | static ipc_irq_t *irq_conns = NULL; |
68 | static ipc_irq_t *irq_conns = NULL; |
68 | static int irq_conns_size; |
69 | static int irq_conns_size; |
69 | 70 | ||
70 | #include <print.h> |
- | |
- | 71 | ||
71 | /* Execute code associated with IRQ notification */ |
72 | /* Execute code associated with IRQ notification */ |
72 | static void code_execute(call_t *call, irq_code_t *code) |
73 | static void code_execute(call_t *call, irq_code_t *code) |
73 | { |
74 | { |
74 | int i; |
75 | int i; |
75 | unative_t dstval = 0; |
76 | unative_t dstval = 0; |