Rev 3764 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3764 | Rev 3774 | ||
|---|---|---|---|
| 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 | - | ||
| 157 | #endif |
156 | #endif |
| 158 | 157 | ||
| 159 | /** @} |
158 | /** @} |
| 160 | */ |
159 | */ |