#ifndef IDT_H
#define IDT_H

#include <stdint.h>

void init_idt();

#endif