Rev 1258 | Rev 1434 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1258 | Rev 1260 | ||
|---|---|---|---|
| Line 100... | Line 100... | ||
| 100 | int_register(TIMER_IRQ, "timer", timer_exception); |
100 | int_register(TIMER_IRQ, "timer", timer_exception); |
| 101 | int_register(0, "swint0", swint0); |
101 | int_register(0, "swint0", swint0); |
| 102 | int_register(1, "swint1", swint1); |
102 | int_register(1, "swint1", swint1); |
| 103 | } |
103 | } |
| 104 | 104 | ||
| 105 | #include <print.h> |
- | |
| 106 | static void ipc_int(int n, istate_t *istate) |
105 | static void ipc_int(int n, istate_t *istate) |
| 107 | { |
106 | { |
| 108 | ipc_irq_send_notif(n-INT_OFFSET); |
107 | ipc_irq_send_notif(n-INT_OFFSET); |
| 109 | } |
108 | } |
| 110 | 109 | ||