#include <types.h>
Data Fields | |
| l4_mword_t | raw |
| raw value | |
Describes the details of an IPC operation, in particular the which parts of the UTCB have to be transmitted, and also flags to anbale realtime 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 reseved for kernel protocols such as page faults and exceptions.
The type must be treated completely opaque.
Definition at line 72 of file types.h.