void init_gdt_table() { gdtp.size=sizeof(gdt)-1; gdtp.offset=(uint32_t)&gdt;