Lines Matching refs:L4
5 * \brief L4::Factory server interface
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;
66 int factory_dispatch(l4_umword_t, L4::Ipc::Iostream &ios);
68 virtual L4::Cap<L4::Thread> received_thread(L4::Ipc::Snd_fpage const &fp) = 0;
71 L4::Cap<CT> cap_alloc()
72 { return L4::cap_cast<CT>(_capif->cap_alloc()); }
75 void cap_alloc(L4::Cap<CT> x)
76 { _capif->cap_free(L4::cap_cast<CT>(x)); }