os/kernel/cpu/x86_64/idt.h

11 lines
155 B
C
Raw Normal View History

2019-04-27 09:51:32 -05:00
#ifndef IDT_H
#define IDT_H
#include <stdint.h>
/* Functions implemented in idt.c */
void idt_set_gate(int n,uint64_t handler);
void load_idt();
#endif