Lines Matching refs:Cap
33 virtual L4::Cap<void> cap_alloc() = 0;
34 virtual void cap_free(L4::Cap<void>) = 0;
41 virtual int create_task(L4::Cap<L4::Task> const &target_cap,
44 virtual int create_thread(L4::Cap<L4::Thread> const &target_cap) = 0;
46 virtual int create_factory(L4::Cap<L4::Factory> const &target_cap,
49 virtual int create_gate(L4::Cap<void> const &target_cap,
50 L4::Cap<L4::Thread> const &thread_cap,
53 virtual int create_irq(L4::Cap<L4::Irq>const &target_cap) = 0;
55 virtual int create_vm(L4::Cap<L4::Vm>const &target_cap) = 0;
68 virtual L4::Cap<L4::Thread> received_thread(L4::Ipc::Snd_fpage const &fp) = 0;
71 L4::Cap<CT> cap_alloc()
75 void cap_alloc(L4::Cap<CT> x)