i386_get_threadbase
uint32_t base = i386_get_threadbase(p, TSEG_FS);
uint32_t base = i386_get_threadbase(p, TSEG_GS);
uint32_t i386_get_threadbase(struct proc *, int);
((void *)i386_get_threadbase(p, TSEG_GS))