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