utcb's address in Fiasco.OC

[Chen Tian]

Hi,

Where is the utcb's address of a thread is stored?  If I implement a
user level thread context switch (i.e., change the contents in
registers EIP/ESP and general purpose registers), will a thread  lose
its utcb pointer?

Thanks.

Best,
Chen