path: root/src/kernel/idt.h

#ifndef IDT_H
#define IDT_H

#include <stdint.h>

void init_idt();
void enable_idt();

#endif