| 57,6 → 57,7 |
|---|
| irq_cmd_type cmd; |
| void *addr; |
| unsigned long long value; |
| int dstarg; |
| } irq_cmd_t; |
| |
| typedef struct { |
| 71,7 → 72,7 |
|---|
| 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 a2, __native a3); |
| extern void ipc_irq_send_msg(int irq, __native a1, __native a2, __native a3); |
| extern void ipc_irq_unregister(answerbox_t *box, int irq); |
| extern void irq_ipc_bind_arch(__native irq); |
| extern void ipc_irq_cleanup(answerbox_t *box); |