L4Re Operating System Framework
Interface and Usage Documentation
|
Encapsulation of the thread-control-register block of the UTCB. More...
#include <utcb.h>
Data Fields | |
l4_umword_t | error |
System call error codes. | |
l4_umword_t | free_marker |
Kernel free marker. | |
l4_umword_t | user [3] |
User values (ignored and preserved by the kernel) | |
Encapsulation of the thread-control-register block of the UTCB.