L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches
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 , 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.

Detailed Description

Enumeration Type Documentation

◆ l4_buffer_desc_consts_t

Constants for buffer descriptors.

Enumerator
L4_BDR_MEM_SHIFT 

Bit offset for the memory-buffer index.

L4_BDR_IO_SHIFT 

Bit offset for the IO-buffer index.

L4_BDR_OBJ_SHIFT 

Bit offset for the capability-buffer index.

Definition at line 322 of file consts.h.

Function Documentation

◆ l4_bdr()

l4_umword_t l4_bdr ( l4_umword_t mem,
l4_umword_t io,
l4_umword_t obj,
l4_umword_t flags )
inline

Create a buffer descriptor.

Parameters
memIndex of the first memory receive buffer.
ioIndex of the first IO-port receive buffer.
objIndex of the first object receive buffer.
flagsFlags (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().

Here is the caller graph for this function: