| 50,10 → 50,13 |
|---|
| #define IVT_FIRST 0 |
| |
| /** External Interrupt vectors. */ |
| |
| #define VECTOR_TLB_SHOOTDOWN_IPI 0xf0 |
| #define INTERRUPT_TIMER 255 |
| #define IRQ_KBD 241 |
| #define IRQ_MOUSE 252 |
| #define IRQ_KBD (0x01+LAGACY_INTERRUPT_BASE) |
| #define IRQ_MOUSE (0x0c+LAGACY_INTERRUPT_BASE) |
| #define INTERRUPT_SPURIOUS 15 |
| #define LAGACY_INTERRUPT_BASE 0x20 |
| |
| /** General Exception codes. */ |
| #define GE_ILLEGALOP 0 |
| 150,6 → 153,7 |
|---|
| extern void external_interrupt(uint64_t vector, istate_t *istate); |
| extern void disabled_fp_register(uint64_t vector, istate_t *istate); |
| |
| |
| #endif |
| |
| /** @} |