Rev 1595 | Rev 1702 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1595 | Rev 1609 | ||
|---|---|---|---|
| Line 43... | Line 43... | ||
| 43 | : "r" (1000) |
43 | : "r" (1000) |
| 44 | ); |
44 | ); |
| 45 | } |
45 | } |
| 46 | 46 | ||
| 47 | 47 | ||
| - | 48 | /** Handler of external interrupts */ |
|
| - | 49 | static void exception_external(int n, istate_t *istate) |
|
| - | 50 | { |
|
| - | 51 | int inum; |
|
| - | 52 | ||
| - | 53 | while ((inum = pic_get_pending()) != -1) { |
|
| - | 54 | exc_dispatch(inum + INT_OFFSET, istate); |
|
| - | 55 | pic_ack_interrupt(inum); |
|
| - | 56 | } |
|
| - | 57 | } |
|
| - | 58 | ||
| - | 59 | ||
| 48 | static void exception_decrementer(int n, istate_t *istate) |
60 | static void exception_decrementer(int n, istate_t *istate) |
| 49 | { |
61 | { |
| 50 | clock(); |
62 | clock(); |
| 51 | start_decrementer(); |
63 | start_decrementer(); |
| 52 | } |
64 | } |
| 53 | 65 | ||
| 54 | 66 | ||
| 55 | /* Initialize basic tables for exception dispatching */ |
67 | /* Initialize basic tables for exception dispatching */ |
| 56 | void interrupt_init(void) |
68 | void interrupt_init(void) |
| 57 | { |
69 | { |
| - | 70 | exc_register(VECTOR_DATA_STORAGE, "data_storage", pht_refill); |
|
| - | 71 | exc_register(VECTOR_INSTRUCTION_STORAGE, "instruction_storage", pht_refill); |
|
| - | 72 | exc_register(VECTOR_EXTERNAL, "external", exception_external); |
|
| 58 | exc_register(VECTOR_DECREMENTER, "timer", exception_decrementer); |
73 | exc_register(VECTOR_DECREMENTER, "timer", exception_decrementer); |
| 59 | } |
74 | } |
| 60 | 75 | ||
| 61 | 76 | ||
| 62 | /* Reregister irq to be IPC-ready */ |
- | |
| 63 | void irq_ipc_bind_arch(__native irq) |
77 | static void ipc_int(int n, istate_t *istate) |
| 64 | { |
78 | { |
| 65 | panic("not implemented\n"); |
79 | ipc_irq_send_notif(n - INT_OFFSET); |
| 66 | /* TODO */ |
- | |
| 67 | } |
80 | } |
| 68 | 81 | ||
| 69 | /** Handler of externul interrupts */ |
- | |
| 70 | void extint_handler(int n, istate_t *istate) |
- | |
| 71 | { |
- | |
| 72 | int inum; |
- | |
| 73 | 82 | ||
| 74 | while ((inum = pic_get_pending()) != -1) { |
83 | /* Reregister irq to be IPC-ready */ |
| 75 | exc_dispatch(inum+INT_OFFSET, istate); |
84 | void irq_ipc_bind_arch(__native irq) |
| 76 | pic_ack_interrupt(inum); |
- | |
| 77 | } |
85 | { |
| - | 86 | int_register(irq, "ipc_int", ipc_int); |
|
| 78 | } |
87 | } |