path: root/kernel/global_descriptor_table.h

void init_gdt();