#ifndef _JOVE_x86_64_IDT_H
#define _JOVE_x86_64_IDT_H 1

#include "tables.h"

typedef struct interrupt_state
{
    uint64_t r15, r14, r13, r12, r11, r10, r9, r8;
    uint64_t bp, di, si, dx, cx, bx, ax;
    uint64_t ip, cs, flags, sp, ss;
} int_state_t;

typedef interrupt_gate_t idt_t[48];

typedef int_state_t *(*int_handler_t)(int_state_t *);

void int_handler_set(uint8_t i, int_handler_t handler);
int_handler_t int_handler_get(uint8_t i);

void int_state_print(int_state_t *state);

extern uint64_t __isr_err;
extern uint64_t __isr_num;

#endif