void gdt_init();