set_gsbase
set_gsbase(td, 0);
set_gsbase(td, base);
set_gsbase(td2, 0);
void set_gsbase(struct thread *td, uint32_t base);