seL4 icon indicating copy to clipboard operation
seL4 copied to clipboard

user proper field from thread context structure

Open axel-h opened this issue 3 years ago • 0 comments

The thread context structure layout is explicitly designed to have the register context first, as this simplifies saving the user context on entry in assembly code. On the exit path there is no need to hard-code this assumption, stick to the semantics and leave details to the compiler.

axel-h avatar Oct 16 '22 19:10 axel-h