![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
Message tag data structure. More...
#include <types.h>
Public Member Functions | |
long | label () const L4_NOTHROW |
Get the protocol value. | |
void | label (long v) L4_NOTHROW |
Set the protocol value. | |
unsigned | words () const L4_NOTHROW |
Get the number of untyped words. | |
unsigned | items () const L4_NOTHROW |
Get the number of typed items. | |
unsigned | flags () const L4_NOTHROW |
Get the flags value. | |
bool | is_page_fault () const L4_NOTHROW |
Test if protocol indicates page-fault protocol. | |
bool | is_exception () const L4_NOTHROW |
Test if protocol indicates exception protocol. | |
bool | is_sigma0 () const L4_NOTHROW |
Test if protocol indicates sigma0 protocol. | |
bool | is_io_page_fault () const L4_NOTHROW |
Test if protocol indicates IO-page-fault protocol. | |
bool | has_error () const L4_NOTHROW |
Test if flags indicate an error. | |
Data Fields | |
l4_mword_t | raw |
raw value | |
Message tag data structure.
Describes the details of an IPC operation, in particular which parts of the UTCB have to be transmitted, and also flags to enable real-time and FPU extensions.
The message tag also contains a user-defined label that could be used to specify a protocol ID. Some negative values are reserved for kernel protocols such as page faults and exceptions.
The type must be treated completely opaque.
|
inline |
Get the flags value.
The flags are a combination of the flags defined by L4_msgtag_flags.
Definition at line 177 of file types.h.
References raw.
|
inline |
Test if flags indicate an error.
If true, the error code is stored in the UTCB, see l4_utcb_tcr()->error.
Definition at line 190 of file types.h.
References L4_MSGTAG_ERROR, and raw.
Referenced by L4Re::chkipc(), L4Re::chksys(), L4::Server< LOOP_HOOKS >::internal_loop(), L4::Server< LOOP_HOOKS >::reply_n_wait(), and L4::throw_ipc_exception().