kernel/arch/idt.h

#ifndef TAILIX_KERNEL_INCLUDED_IDT
#define TAILIX_KERNEL_INCLUDED_IDT 1

void idt_initialize();

#endif