#include <l4_types.h>
Public Member Functions | |
Mword | low () const |
Extract the low message word. | |
Mword | high () const |
Extract the high message word. | |
L4_pipc (unsigned type, unsigned lost, unsigned id, Cpu_time clock) | |
Create a Preemption-IPC message. | |
Private Types | |
enum | { Clock_shift = 0, Id_shift = 56, Lost_shift = 62, Type_shift = 63, Clock_mask = 0x00ffffffffffffffULL, Id_mask = 0x3f00000000000000ULL, Lost_mask = 0x4000000000000000ULL, Type_mask = 0x8000000000000000ULL, Low_shift = 0, High_shift = 32, Low_mask = 0x00000000ffffffffULL, High_mask = 0xffffffff00000000ULL } |
Private Attributes | |
Unsigned64 | _raw |
Raw 64 bit representation. |
|
|
|
Create a Preemption-IPC message.
|
|
Extract the high message word.
|
|
Extract the low message word.
|
|
Raw 64 bit representation.
|