Rev 3774 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3774 | Rev 3880 | ||
|---|---|---|---|
| Line 151... | Line 151... | ||
| 151 | extern void universal_handler(uint64_t vector, istate_t *istate); |
151 | extern void universal_handler(uint64_t vector, istate_t *istate); |
| 152 | extern void nop_handler(uint64_t vector, istate_t *istate); |
152 | extern void nop_handler(uint64_t vector, istate_t *istate); |
| 153 | extern void external_interrupt(uint64_t vector, istate_t *istate); |
153 | extern void external_interrupt(uint64_t vector, istate_t *istate); |
| 154 | extern void disabled_fp_register(uint64_t vector, istate_t *istate); |
154 | extern void disabled_fp_register(uint64_t vector, istate_t *istate); |
| 155 | 155 | ||
| - | 156 | extern void trap_virtual_enable_irqs(uint16_t irqmask); |
|
| - | 157 | ||
| 156 | #endif |
158 | #endif |
| 157 | 159 | ||
| 158 | /** @} |
160 | /** @} |
| 159 | */ |
161 | */ |