_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] |