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_preemption () const L4_NOTHROW |
Test if protocol indicates preemption protocol. | |
bool | is_sys_exception () const L4_NOTHROW |
Test if protocol indicates system-exception 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. | |
unsigned | 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 181 of file types.h.
References raw.