|
Public Member Functions |
void | set (Context *ctx, Mword ip, Sys_ipc_frame *ipc_regs, Unsigned64 left) |
void | set_irq (Context *ctx, Mword ip, Mword irq) |
void | set_sc (Context *ctx, Mword ip, Sys_ipc_frame *ipc_regs, Unsigned64 left) |
L4_snd_desc | snd_desc () const |
L4_rcv_desc | rcv_desc () const |
Global_id | dst () const |
L4_timeout | timeout () const |
Mword | dword (unsigned index) const |
Private Attributes |
L4_snd_desc | _snd_desc |
| ipc send descriptor
|
L4_rcv_desc | _rcv_desc |
| ipc receive descriptor
|
Mword | _dword [2] |
| first two message words
|
Global_id | _dst |
| destination id
|
L4_timeout | _timeout |
| timeout
|