L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches

Encapsulation of the thread-control-register block of the UTCB. More...

#include <utcb.h>

+ Collaboration diagram for l4_thread_regs_t:

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)
 

Detailed Description

Encapsulation of the thread-control-register block of the UTCB.

Definition at line 110 of file utcb.h.


The documentation for this struct was generated from the following file: