Question about UTCB

Jonathan S. Shapiro shap at
Thu Feb 23 23:33:43 CET 2006

On Fri, 2006-02-24 at 09:18 +1100, Benno wrote:
> >When a process is preempted, where are its registers stored? Are the
> >stored in the UTCB, or are they stored in some data structure that is
> >only accessible to the kernel?
> They are stored in the thread's TCB, which is kernel private data.

So, in particular, the saved registers are not accessable to normal load
and store instructions that might occur on a second processor. Correct?



More information about the l4-hackers mailing list