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 |