#include "idt.h" struct IDT_REGISTER IDTR={ 8*IDT_MAX_ENTRY, 0x0 // IDT is located at physical address 0 }; // Interrupt functions (cf int.S) extern u32 INT_DEFAULT, INT_PAGE_FAULT, INT_CLOCK, INT_KEYPRESS, INT_SYSCALL; void idt_init(){ // Map entries, note that first 32 entries are used by the CPU // and should be mapped to a function (INT_DEFAULT here) for(int i=0;i