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

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,
  base = [l : addr] ptr l
}

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

fun idt_init() : void