utcb's address in Fiasco.OC

[Adam Lackorzynski]

Hi,

On Tue May 31, 2011 at 16:31:26 -0700, Chen Tian wrote:
> 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?

No, the UTCB pointer is supplied by the kernel. When you change the
stack pointer in your app the UTCB pointer will stay the same, ie
l4_utcb() will return the same address. 



Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/