void init_gdt();