path: root/kernel/gdt.h

void gdt_init();