extern void load_gdt(struct gdt_pointer *gdtp);