|
L4Re - L4 Runtime Environment
|
Collaboration diagram for Buffer Registers (BRs):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 } |
| 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. | |