#ifndef HAL_IDT_H_
#define HAL_IDT_H_

#include <stdint.h>
#include "compiler/attr.h"

typedef struct {
  uint16_t isrlow;
  uint16_t kernelcs;
  uint8_t ist;
  uint8_t attrs;
  uint16_t isrmid;
  uint32_t isrhigh;
  uint32_t resv;
} PACKED IdtGate;

typedef struct {
  uint16_t limit;
  uint64_t base;
} PACKED Idt;

void idt_init(void);

#endif // HAL_IDT_H_