| 79,9 → 79,9 |
|---|
| extern void ipc_irq_make_table(int irqcount); |
| extern int ipc_irq_register(answerbox_t *box, int irq, irq_code_t *ucode); |
| extern void ipc_irq_send_notif(int irq); |
| extern void ipc_irq_send_msg(int irq, __native a1, __native a2, __native a3); |
| extern void ipc_irq_send_msg(int irq, unative_t a1, unative_t a2, unative_t a3); |
| extern void ipc_irq_unregister(answerbox_t *box, int irq); |
| extern void irq_ipc_bind_arch(__native irq); |
| extern void irq_ipc_bind_arch(unative_t irq); |
| extern void ipc_irq_cleanup(answerbox_t *box); |
| |
| #endif |