SprinkleOS/gdt.h

void GDT_init();