#define 
TRAP_GATE_FLAGS 0x8F // p=1, dpl=0b00, type=0b1111
#define
INT_GATE_FLAGS 0x8E // p=1, dpl=0b00, type=0b1110
#define
IDT_MAX_DESCRIPTORS 256


typedef idt_entry_t = @{
  isr_low = uint16,   // The lower 16 bits of the ISR's address
  kernel_cs = uint16, // The GDT segment selector that the CPU will load into CS before calling the ISR
  ist = uint8 0,        // The IST in the TSS that the CPU will load into RSP; set to zero for now 
  attributes = uint8, // Type and attributes; see the IDT page
  isr_mid = uint16,   // The higher 16 bits of the lower 32 bits of the ISR's address
  isr_high = uint32,  // The higher 32 bits of the ISR's address
  reserved = uint32 0   // Set to zero
}

typedef idtr_t = @{
  limit =  uint16 (8 * IDT_MAX_DESCRIPTORS),
  base = [l : addr] ptr l
}

// Interrupt frame to pass to ISR
typedef int_frame =  @{
  ip = [l : agz] ptr l, // instruction pointer
  cs = [l : agz] ptr l, // code segment
  rflags = uint64,
  sp = [l : agz] ptr l, // stack pointer
  ss = [l : agz] ptr l // stack segment
}

fun idt_init() : void