Rev 1940 | Rev 2071 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1940 | Rev 1958 | ||
---|---|---|---|
Line 49... | Line 49... | ||
49 | #include <proc/thread.h> |
49 | #include <proc/thread.h> |
50 | #include <proc/task.h> |
50 | #include <proc/task.h> |
51 | #include <synch/spinlock.h> |
51 | #include <synch/spinlock.h> |
52 | #include <arch/ddi/ddi.h> |
52 | #include <arch/ddi/ddi.h> |
53 | #include <interrupt.h> |
53 | #include <interrupt.h> |
54 | #include <ipc/irq.h> |
54 | #include <ddi/irq.h> |
55 | 55 | ||
- | 56 | /* |
|
- | 57 | * Interrupt and exception dispatching. |
|
- | 58 | */ |
|
- | 59 | ||
- | 60 | void (* disable_irqs_function)(uint16_t irqmask) = NULL; |
|
- | 61 | void (* enable_irqs_function)(uint16_t irqmask) = NULL; |
|
- | 62 | void (* eoi_function)(void) = NULL; |
|
- | 63 | ||
56 | void print_info_errcode(int n, istate_t *istate) |
64 | void decode_istate(int n, istate_t *istate) |
57 | { |
65 | { |
58 | char *symbol; |
66 | char *symbol; |
59 | /* uint64_t *x = &istate->stack[0]; */ |
67 | /* uint64_t *x = &istate->stack[0]; */ |
60 | 68 | ||
61 | if (!(symbol=get_symtab_entry(istate->rip))) |
69 | if (!(symbol=get_symtab_entry(istate->rip))) |
Line 73... | Line 81... | ||
73 | printf("%%r15=%#llx, %%rbx=%#llx, %%rbp=%#llx\n", istate->r15, istate->rbx, &istate->rbp); |
81 | printf("%%r15=%#llx, %%rbx=%#llx, %%rbp=%#llx\n", istate->r15, istate->rbx, &istate->rbp); |
74 | #endif |
82 | #endif |
75 | printf("%%rsp=%#llx\n", &istate->stack[0]); |
83 | printf("%%rsp=%#llx\n", &istate->stack[0]); |
76 | } |
84 | } |
77 | 85 | ||
- | 86 | static void trap_virtual_eoi(void) |
|
78 | /* |
87 | { |
79 | * Interrupt and exception dispatching. |
88 | if (eoi_function) |
- | 89 | eoi_function(); |
|
80 | */ |
90 | else |
- | 91 | panic("no eoi_function\n"); |
|
81 | 92 | ||
82 | void (* disable_irqs_function)(uint16_t irqmask) = NULL; |
- | |
83 | void (* enable_irqs_function)(uint16_t irqmask) = NULL; |
- | |
84 | void (* eoi_function)(void) = NULL; |
- | |
- | 93 | } |
|
85 | 94 | ||
86 | void null_interrupt(int n, istate_t *istate) |
95 | static void null_interrupt(int n, istate_t *istate) |
87 | { |
96 | { |
88 | fault_if_from_uspace(istate, "unserviced interrupt: %d", n); |
97 | fault_if_from_uspace(istate, "unserviced interrupt: %d", n); |
89 | print_info_errcode(n, istate); |
98 | decode_istate(n, istate); |
90 | panic("unserviced interrupt\n"); |
99 | panic("unserviced interrupt\n"); |
91 | } |
100 | } |
92 | 101 | ||
93 | /** General Protection Fault. */ |
102 | /** General Protection Fault. */ |
94 | void gp_fault(int n, istate_t *istate) |
103 | static void gp_fault(int n, istate_t *istate) |
95 | { |
104 | { |
96 | if (TASK) { |
105 | if (TASK) { |
97 | count_t ver; |
106 | count_t ver; |
98 | 107 | ||
99 | spinlock_lock(&TASK->lock); |
108 | spinlock_lock(&TASK->lock); |
Line 112... | Line 121... | ||
112 | return; |
121 | return; |
113 | } |
122 | } |
114 | fault_if_from_uspace(istate, "general protection fault"); |
123 | fault_if_from_uspace(istate, "general protection fault"); |
115 | } |
124 | } |
116 | 125 | ||
117 | print_info_errcode(n, istate); |
126 | decode_istate(n, istate); |
118 | panic("general protection fault\n"); |
127 | panic("general protection fault\n"); |
119 | } |
128 | } |
120 | 129 | ||
121 | void ss_fault(int n, istate_t *istate) |
130 | static void ss_fault(int n, istate_t *istate) |
122 | { |
131 | { |
123 | fault_if_from_uspace(istate, "stack fault"); |
132 | fault_if_from_uspace(istate, "stack fault"); |
124 | print_info_errcode(n, istate); |
133 | decode_istate(n, istate); |
125 | panic("stack fault\n"); |
134 | panic("stack fault\n"); |
126 | } |
135 | } |
127 | 136 | ||
128 | void nm_fault(int n, istate_t *istate) |
137 | static void nm_fault(int n, istate_t *istate) |
129 | { |
138 | { |
130 | #ifdef CONFIG_FPU_LAZY |
139 | #ifdef CONFIG_FPU_LAZY |
131 | scheduler_fpu_lazy_request(); |
140 | scheduler_fpu_lazy_request(); |
132 | #else |
141 | #else |
133 | fault_if_from_uspace(istate, "fpu fault"); |
142 | fault_if_from_uspace(istate, "fpu fault"); |
134 | panic("fpu fault"); |
143 | panic("fpu fault"); |
135 | #endif |
144 | #endif |
136 | } |
145 | } |
137 | 146 | ||
138 | void tlb_shootdown_ipi(int n, istate_t *istate) |
147 | static void tlb_shootdown_ipi(int n, istate_t *istate) |
139 | { |
148 | { |
140 | trap_virtual_eoi(); |
149 | trap_virtual_eoi(); |
141 | tlb_shootdown_ipi_recv(); |
150 | tlb_shootdown_ipi_recv(); |
142 | } |
151 | } |
143 | 152 | ||
- | 153 | /** Handler of IRQ exceptions */ |
|
- | 154 | static void irq_interrupt(int n, istate_t *istate) |
|
- | 155 | { |
|
- | 156 | ASSERT(n >= IVT_IRQBASE); |
|
- | 157 | ||
- | 158 | int inum = n - IVT_IRQBASE; |
|
- | 159 | ASSERT(inum < IRQ_COUNT); |
|
- | 160 | ASSERT((inum != IRQ_PIC_SPUR) && (inum != IRQ_PIC1)); |
|
- | 161 | ||
- | 162 | irq_t *irq = irq_dispatch_and_lock(inum); |
|
- | 163 | if (irq) { |
|
- | 164 | /* |
|
- | 165 | * The IRQ handler was found. |
|
- | 166 | */ |
|
- | 167 | irq->handler(irq, irq->arg); |
|
- | 168 | spinlock_unlock(&irq->lock); |
|
- | 169 | } else { |
|
- | 170 | /* |
|
- | 171 | * Spurious interrupt. |
|
- | 172 | */ |
|
- | 173 | #ifdef CONFIG_DEBUG |
|
- | 174 | printf("cpu%d: spurious interrupt (inum=%d)\n", CPU->id, inum); |
|
- | 175 | #endif |
|
- | 176 | } |
|
- | 177 | trap_virtual_eoi(); |
|
- | 178 | } |
|
- | 179 | ||
- | 180 | void interrupt_init(void) |
|
- | 181 | { |
|
- | 182 | int i; |
|
- | 183 | ||
- | 184 | for (i = 0; i < IVT_ITEMS; i++) |
|
- | 185 | exc_register(i, "null", (iroutine) null_interrupt); |
|
- | 186 | ||
- | 187 | for (i = 0; i < IRQ_COUNT; i++) { |
|
- | 188 | if ((i != IRQ_PIC_SPUR) && (i != IRQ_PIC1)) |
|
- | 189 | exc_register(IVT_IRQBASE + i, "irq", (iroutine) irq_interrupt); |
|
- | 190 | } |
|
- | 191 | ||
- | 192 | exc_register(7, "nm_fault", (iroutine) nm_fault); |
|
- | 193 | exc_register(12, "ss_fault", (iroutine) ss_fault); |
|
- | 194 | exc_register(13, "gp_fault", (iroutine) gp_fault); |
|
- | 195 | exc_register(14, "ident_mapper", (iroutine) ident_page_fault); |
|
- | 196 | ||
- | 197 | #ifdef CONFIG_SMP |
|
- | 198 | exc_register(VECTOR_TLB_SHOOTDOWN_IPI, "tlb_shootdown", (iroutine) tlb_shootdown_ipi); |
|
- | 199 | #endif |
|
- | 200 | } |
|
- | 201 | ||
144 | void trap_virtual_enable_irqs(uint16_t irqmask) |
202 | void trap_virtual_enable_irqs(uint16_t irqmask) |
145 | { |
203 | { |
146 | if (enable_irqs_function) |
204 | if (enable_irqs_function) |
147 | enable_irqs_function(irqmask); |
205 | enable_irqs_function(irqmask); |
148 | else |
206 | else |
Line 155... | Line 213... | ||
155 | disable_irqs_function(irqmask); |
213 | disable_irqs_function(irqmask); |
156 | else |
214 | else |
157 | panic("no disable_irqs_function\n"); |
215 | panic("no disable_irqs_function\n"); |
158 | } |
216 | } |
159 | 217 | ||
160 | void trap_virtual_eoi(void) |
- | |
161 | { |
- | |
162 | if (eoi_function) |
- | |
163 | eoi_function(); |
- | |
164 | else |
- | |
165 | panic("no eoi_function\n"); |
- | |
166 | - | ||
167 | } |
- | |
168 | - | ||
169 | /** @} |
218 | /** @} |
170 | */ |
219 | */ |