L4Re Operating System Framework
Interface and Usage Documentation
|
Data Structures | |
struct | l4_thread_regs_t |
Encapsulation of the thread-control-register block of the UTCB. More... | |
Typedefs | |
typedef struct l4_thread_regs_t | l4_thread_regs_t |
Encapsulation of the thread-control-register block of the UTCB. | |