L4Re Operating System Framework
Interface and Usage Documentation
|
Encapsulation of the message-register block in the UTCB. More...
#include <utcb.h>
Data Fields | |
l4_umword_t | mr [L4_UTCB_GENERIC_DATA_SIZE] |
Message registers. | |
l4_uint64_t | mr64 [L4_UTCB_GENERIC_DATA_SIZE/(sizeof(l4_uint64_t)/sizeof(l4_umword_t))] |
Message registers 64bit alias. | |
Encapsulation of the message-register block in the UTCB.