Rev 1705 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1705 | Rev 1780 | ||
|---|---|---|---|
| Line 130... | Line 130... | ||
| 130 | { |
130 | { |
| 131 | ipc_irq_send_notif(n-INT_OFFSET); |
131 | ipc_irq_send_notif(n-INT_OFFSET); |
| 132 | } |
132 | } |
| 133 | 133 | ||
| 134 | /* Reregister irq to be IPC-ready */ |
134 | /* Reregister irq to be IPC-ready */ |
| 135 | void irq_ipc_bind_arch(__native irq) |
135 | void irq_ipc_bind_arch(unative_t irq) |
| 136 | { |
136 | { |
| 137 | /* Do not allow to redefine timer */ |
137 | /* Do not allow to redefine timer */ |
| 138 | /* Swint0, Swint1 are already handled */ |
138 | /* Swint0, Swint1 are already handled */ |
| 139 | if (irq == TIMER_IRQ || irq < 2) |
139 | if (irq == TIMER_IRQ || irq < 2) |
| 140 | return; |
140 | return; |