Searched refs:target_cap (Results 1 – 3 of 3) sorted by relevance
| /l4re-core-master/l4sys/include/ |
| A D | factory.h | 178 l4_cap_idx_t target_cap,
189 l4_cap_idx_t target_cap,
207 l4_cap_idx_t target_cap) L4_NOTHROW;
232 l4_cap_idx_t target_cap) L4_NOTHROW;
319 l4_cap_idx_t target_cap, in l4_factory_create_gate_u() argument
326 t = l4_factory_create_start_u(0, target_cap, u); in l4_factory_create_gate_u()
348 l4_cap_idx_t target_cap, in l4_factory_create_vm_u() argument
382 l4_cap_idx_t target_cap, in l4_factory_create_gate() argument
390 l4_cap_idx_t target_cap) L4_NOTHROW in l4_factory_create_irq() argument
397 l4_cap_idx_t target_cap) L4_NOTHROW in l4_factory_create_vm() argument
[all …]
|
| A D | factory | 321 * \param[out] target_cap The kernel stores the new task's capability into
341 l4_msgtag_t create_task(Cap<Task> const & target_cap,
344 { return l4_factory_create_task_u(cap(), target_cap.cap(), utcb_area, utcb); }
349 * \param[out] target_cap The kernel stores the new factory's capability into
368 l4_msgtag_t create_factory(Cap<Factory> const &target_cap,
371 { return l4_factory_create_factory_u(cap(), target_cap.cap(), limit, utcb); }
376 * \param[out] target_cap The kernel stores the new IPC gate's capability
401 l4_msgtag_t create_gate(Cap<void> const &target_cap,
404 { return l4_factory_create_gate_u(cap(), target_cap.cap(), thread_cap.cap(), label, utcb); }
|
| /l4re-core-master/libkproxy/include/ |
| A D | factory_svr | 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,
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;
|
Completed in 4 milliseconds