![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
Data Structures | |
| struct | l4_buf_regs_t |
| Encapsulation of the buffer-registers block in the UTCB. More... | |
Typedefs | |
| typedef struct l4_buf_regs_t | l4_buf_regs_t |
| Encapsulation of the buffer-registers block in the UTCB. | |
Enumerations | |
| enum | l4_buffer_desc_consts_t { L4_BDR_MEM_SHIFT = 0 , L4_BDR_IO_SHIFT = 5 , L4_BDR_OBJ_SHIFT = 10 , L4_BDR_OFFSET_MASK = (1UL << 20) - 1 } |
| Constants for buffer descriptors. More... | |
Functions | |
| void | l4_utcb_inherit_fpu (int switch_on) L4_NOTHROW |
| Enable or disable inheritance of FPU state to receiver. | |