![]() |
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. | |
| l4_umword_t | l4_bdr (l4_umword_t mem, l4_umword_t io, l4_umword_t obj, l4_umword_t flags) L4_NOTHROW |
| Create a buffer descriptor. | |
|
inline |
Create a buffer descriptor.
| mem | Index of the first memory receive buffer. |
| io | Index of the first IO-port receive buffer. |
| obj | Index of the first object receive buffer. |
| flags | Flags (only L4_UTCB_INHERIT_FPU so far). |
Definition at line 362 of file utcb.h.
References L4_INLINE, and L4_NOTHROW.
Referenced by L4Re::Util::Br_manager::setup_wait().