Rev 1787 | Rev 1928 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1787 | Rev 1926 | ||
|---|---|---|---|
| Line 78... | Line 78... | ||
| 78 | exc_register(VECTOR_INSTRUCTION_STORAGE, "instruction_storage", pht_refill); |
78 | exc_register(VECTOR_INSTRUCTION_STORAGE, "instruction_storage", pht_refill); |
| 79 | exc_register(VECTOR_EXTERNAL, "external", exception_external); |
79 | exc_register(VECTOR_EXTERNAL, "external", exception_external); |
| 80 | exc_register(VECTOR_DECREMENTER, "timer", exception_decrementer); |
80 | exc_register(VECTOR_DECREMENTER, "timer", exception_decrementer); |
| 81 | } |
81 | } |
| 82 | 82 | ||
| 83 | - | ||
| 84 | static void ipc_int(int n, istate_t *istate) |
- | |
| 85 | { |
- | |
| 86 | ipc_irq_send_notif(n - INT_OFFSET); |
- | |
| 87 | } |
- | |
| 88 | - | ||
| 89 | - | ||
| 90 | /* Reregister irq to be IPC-ready */ |
- | |
| 91 | void irq_ipc_bind_arch(unative_t irq) |
- | |
| 92 | { |
- | |
| 93 | int_register(irq, "ipc_int", ipc_int); |
- | |
| 94 | } |
- | |
| 95 | - | ||
| 96 | /** @} |
83 | /** @} |
| 97 | */ |
84 | */ |