L4Re - L4 Runtime Environment
|
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_timeout_t | xfer |
Message transfer timeout. | |
l4_umword_t | user [3] |
User values (ignored and preserved by the kernel) | |
Encapsulation of the thread-control-register block of the UTCB.