| _pending | Preemption | [private] |
| _receiver | Sender | [protected] |
| id() const | Sender | [inline] |
| in_sender_list() | Sender | [inline] |
| ipc_receiver_ready() | Preemption | [private, virtual] |
| pending() const | Preemption | [inline] |
| preempter_enqueue() | Preemption | [private] |
| Preemption(Global_id const id) | Preemption | |
| queue(Sched_context::Preemption_type type, Cpu_time time, Sched_context *sched) | Preemption | |
| receiver() const | Sender | [inline] |
| Sender(const Global_id &id, int) | Sender | [inline, explicit, protected] |
| Sender(const Global_id &id) | Sender | [inline, protected] |
| sender_dequeue(Sender **r) | Sender | [inline] |
| sender_enqueue(Sender **r) | Sender | [inline, protected] |
| set_pending(Sched_context *const sched) | Preemption | [inline] |
| set_receiver(Receiver *receiver) | Preemption | [inline] |
| setup_msg(L4_pipc const pipc) const | Preemption | [inline, private] |
1.4.2