L4Re Operating System Framework
Interface and Usage Documentation
|
L4 Virtual Registers (UTCB). More...
Modules | |
ARM Virtual Registers (UTCB) | |
Buffer Registers (BRs) | |
Message Registers (MRs) | |
Thread Control Registers (TCRs) | |
amd64 Virtual Registers (UTCB) | |
x86 Virtual Registers (UTCB) | |
Files | |
file | utcb.h |
UTCB definitions for ARM. | |
file | utcb.h |
UTCB definitions for amd64. | |
file | utcb.h |
UTCB definitions for X86. | |
Typedefs | |
typedef struct l4_utcb_t | l4_utcb_t |
Opaque type for the UTCB. | |
Functions | |
l4_utcb_t * | l4_utcb (void) L4_NOTHROW L4_PURE |
Get the UTCB address. | |
l4_msg_regs_t * | l4_utcb_mr (void) L4_NOTHROW L4_PURE |
Get the message-register block of a UTCB. | |
l4_buf_regs_t * | l4_utcb_br (void) L4_NOTHROW L4_PURE |
Get the buffer-register block of a UTCB. | |
l4_thread_regs_t * | l4_utcb_tcr (void) L4_NOTHROW L4_PURE |
Get the thread-control-register block of a UTCB. | |
L4 Virtual Registers (UTCB).
The virtual registers are part of the micro-kernel API and are located in the user-level thread control block (UTCB). The UTCB is a data structure defined by the micro kernel and located on kernel-provided memory. Each L4 thread gets a unique UTCB assigned when it is bound to a task (see Thread Control , l4_thread_control_bind() for more information).
The UTCB is arranged in three blocks of virtual registers.
To access the contents of the virtual registers the l4_utcb_mr(), l4_utcb_tcr(), and l4_utcb_br() functions must be used.
Opaque type for the UTCB.
To access the contents of the virtual registers the l4_utcb_mr(), l4_utcb_tcr(), and l4_utcb_br() functions must be used.
|
inline |
Get the buffer-register block of a UTCB.
u
. Definition at line 355 of file utcb.h.
References l4_utcb().
Referenced by l4util_ioport_map().
|
inline |
Get the message-register block of a UTCB.
u
. Definition at line 352 of file utcb.h.
References l4_utcb().
Referenced by l4util_ioport_map().
|
inline |