#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.
|
1.4.2