#ifndef _IDT_H #define _IDT_H void idt_init(void); #endif