update_gdt_gsbase
update_gdt_gsbase(td, i386base);
void update_gdt_gsbase(struct thread *td, uint32_t base);
update_gdt_gsbase(td, info.base_addr);