| 52,6 → 52,7 |
|---|
| #define IRQ_KBD 1 |
| #define IRQ_PIC1 2 |
| #define IRQ_PIC_SPUR 7 |
| #define IRQ_MOUSE 12 |
| |
| /* this one must have four least significant bits set to ones */ |
| #define VECTOR_APIC_SPUR (IVT_ITEMS-1) |
| 61,12 → 62,10 |
|---|
| #endif |
| |
| #define VECTOR_DEBUG 1 |
| #define VECTOR_CLK (IVT_IRQBASE + IRQ_CLK) |
| #define VECTOR_PIC_SPUR (IVT_IRQBASE+IRQ_PIC_SPUR) |
| #define VECTOR_CLK (IVT_IRQBASE+IRQ_CLK) |
| #define VECTOR_KBD (IVT_IRQBASE+IRQ_KBD) |
| |
| #define VECTOR_TLB_SHOOTDOWN_IPI (IVT_FREEBASE+0) |
| #define VECTOR_WAKEUP_IPI (IVT_FREEBASE+1) |
| #define VECTOR_SYSCALL IVT_FREEBASE |
| #define VECTOR_TLB_SHOOTDOWN_IPI (IVT_FREEBASE + 1) |
| #define VECTOR_DEBUG_IPI (IVT_FREEBASE+2) |
| |
| /** This is passed to interrupt handlers */ |
| 112,18 → 111,10 |
|---|
| extern void (* enable_irqs_function)(uint16_t irqmask); |
| extern void (* eoi_function)(void); |
| |
| extern void print_info_errcode(int n, istate_t *istate); |
| extern void null_interrupt(int n, istate_t *istate); |
| extern void gp_fault(int n, istate_t *istate); |
| extern void nm_fault(int n, istate_t *istate); |
| extern void ss_fault(int n, istate_t *istate); |
| extern void page_fault(int n, istate_t *istate); |
| extern void syscall(int n, istate_t *istate); |
| extern void tlb_shootdown_ipi(int n, istate_t *istate); |
| |
| extern void decode_istate(int n, istate_t *istate); |
| extern void interrupt_init(void); |
| extern void trap_virtual_enable_irqs(uint16_t irqmask); |
| extern void trap_virtual_disable_irqs(uint16_t irqmask); |
| extern void trap_virtual_eoi(void); |
| /* AMD64 - specific page handler */ |
| extern void ident_page_fault(int n, istate_t *istate); |
| |