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 | /** @} |