Rev 1712 | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1712 | Rev 1780 | ||
|---|---|---|---|
| Line 77... | Line 77... | ||
| 77 | #include <ipc/ipc.h> |
77 | #include <ipc/ipc.h> |
| 78 | 78 | ||
| 79 | extern void ipc_irq_make_table(int irqcount); |
79 | extern void ipc_irq_make_table(int irqcount); |
| 80 | extern int ipc_irq_register(answerbox_t *box, int irq, irq_code_t *ucode); |
80 | extern int ipc_irq_register(answerbox_t *box, int irq, irq_code_t *ucode); |
| 81 | extern void ipc_irq_send_notif(int irq); |
81 | extern void ipc_irq_send_notif(int irq); |
| 82 | extern void ipc_irq_send_msg(int irq, __native a1, __native a2, __native a3); |
82 | extern void ipc_irq_send_msg(int irq, unative_t a1, unative_t a2, unative_t a3); |
| 83 | extern void ipc_irq_unregister(answerbox_t *box, int irq); |
83 | extern void ipc_irq_unregister(answerbox_t *box, int irq); |
| 84 | extern void irq_ipc_bind_arch(__native irq); |
84 | extern void irq_ipc_bind_arch(unative_t irq); |
| 85 | extern void ipc_irq_cleanup(answerbox_t *box); |
85 | extern void ipc_irq_cleanup(answerbox_t *box); |
| 86 | 86 | ||
| 87 | #endif |
87 | #endif |
| 88 | 88 | ||
| 89 | #endif |
89 | #endif |