bundletype IDT_T =

{ include "${BUILDDIR}/oskit/machine/base_idt.h" base_idt base_idt_load }

C types:

extern struct x86_gate base_idt[256];
extern void base_idt_load(void);