Rev 1730 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1730 | Rev 1780 | ||
|---|---|---|---|
| Line 86... | Line 86... | ||
| 86 | ipc_irq_send_notif(n - INT_OFFSET); |
86 | ipc_irq_send_notif(n - INT_OFFSET); |
| 87 | } |
87 | } |
| 88 | 88 | ||
| 89 | 89 | ||
| 90 | /* Reregister irq to be IPC-ready */ |
90 | /* Reregister irq to be IPC-ready */ |
| 91 | void irq_ipc_bind_arch(__native irq) |
91 | void irq_ipc_bind_arch(unative_t irq) |
| 92 | { |
92 | { |
| 93 | int_register(irq, "ipc_int", ipc_int); |
93 | int_register(irq, "ipc_int", ipc_int); |
| 94 | } |
94 | } |
| 95 | 95 | ||
| 96 | /** @} |
96 | /** @} |