Rev 2218 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2218 | Rev 3788 | ||
---|---|---|---|
Line 92... | Line 92... | ||
92 | 92 | ||
93 | } |
93 | } |
94 | 94 | ||
95 | static void null_interrupt(int n, istate_t *istate) |
95 | static void null_interrupt(int n, istate_t *istate) |
96 | { |
96 | { |
97 | fault_if_from_uspace(istate, "unserviced interrupt: %d", n); |
97 | fault_if_from_uspace(istate, "Unserviced interrupt: %d", n); |
98 | 98 | ||
99 | decode_istate(istate); |
99 | decode_istate(istate); |
100 | panic("unserviced interrupt: %d\n", n); |
100 | panic("Unserviced interrupt: %d\n", n); |
101 | } |
101 | } |
102 | 102 | ||
103 | /** General Protection Fault. */ |
103 | /** General Protection Fault. */ |
104 | static void gp_fault(int n, istate_t *istate) |
104 | static void gp_fault(int n, istate_t *istate) |
105 | { |
105 | { |
Line 119... | Line 119... | ||
119 | * the instruction. |
119 | * the instruction. |
120 | */ |
120 | */ |
121 | io_perm_bitmap_install(); |
121 | io_perm_bitmap_install(); |
122 | return; |
122 | return; |
123 | } |
123 | } |
124 | fault_if_from_uspace(istate, "general protection fault"); |
124 | fault_if_from_uspace(istate, "General protection fault"); |
125 | } |
125 | } |
126 | 126 | ||
127 | decode_istate(istate); |
127 | decode_istate(istate); |
128 | panic("general protection fault\n"); |
128 | panic("General protection fault\n"); |
129 | } |
129 | } |
130 | 130 | ||
131 | static void ss_fault(int n, istate_t *istate) |
131 | static void ss_fault(int n, istate_t *istate) |
132 | { |
132 | { |
133 | fault_if_from_uspace(istate, "stack fault"); |
133 | fault_if_from_uspace(istate, "Stack fault"); |
134 | 134 | ||
135 | decode_istate(istate); |
135 | decode_istate(istate); |
136 | panic("stack fault\n"); |
136 | panic("Stack fault\n"); |
137 | } |
137 | } |
138 | 138 | ||
139 | static void simd_fp_exception(int n, istate_t *istate) |
139 | static void simd_fp_exception(int n, istate_t *istate) |
140 | { |
140 | { |
141 | uint32_t mxcsr; |
141 | uint32_t mxcsr; |
Line 155... | Line 155... | ||
155 | static void nm_fault(int n, istate_t *istate) |
155 | static void nm_fault(int n, istate_t *istate) |
156 | { |
156 | { |
157 | #ifdef CONFIG_FPU_LAZY |
157 | #ifdef CONFIG_FPU_LAZY |
158 | scheduler_fpu_lazy_request(); |
158 | scheduler_fpu_lazy_request(); |
159 | #else |
159 | #else |
160 | fault_if_from_uspace(istate, "fpu fault"); |
160 | fault_if_from_uspace(istate, "FPU fault"); |
161 | panic("fpu fault"); |
161 | panic("FPU fault"); |
162 | #endif |
162 | #endif |
163 | } |
163 | } |
164 | 164 | ||
165 | #ifdef CONFIG_SMP |
165 | #ifdef CONFIG_SMP |
166 | static void tlb_shootdown_ipi(int n, istate_t *istate) |
166 | static void tlb_shootdown_ipi(int n, istate_t *istate) |