#include <arch/x86/idt.h>
#include <arch/x86/interrupts.h>
-#include <arch/x86/types.h>
#include <stdint.h>
#define IDT_ENTRY 32
void
_init_idt() {
_set_idt_entry(FAULT_DIVISION_ERROR, 0x08, _asm_isr0, 0);
+ _set_idt_entry(FAULT_GENERAL_PROTECTION, 0x08, _asm_isr13, 0);
}
\ No newline at end of file