Searched defs:target_cap (Results 1 – 1 of 1) sorted by relevance
290 l4_cap_idx_t target_cap, l4_fpage_t utcb_area, in l4_factory_create_task_u()301 l4_cap_idx_t target_cap, l4_utcb_t *u) L4_NOTHROW in l4_factory_create_thread_u()308 l4_cap_idx_t target_cap, unsigned long limit, in l4_factory_create_factory_u()319 l4_cap_idx_t target_cap, in l4_factory_create_gate_u()341 l4_cap_idx_t target_cap, l4_utcb_t *u) L4_NOTHROW in l4_factory_create_irq_u()348 l4_cap_idx_t target_cap, in l4_factory_create_vm_u()367 l4_cap_idx_t target_cap) L4_NOTHROW in l4_factory_create_thread()382 l4_cap_idx_t target_cap, in l4_factory_create_gate()390 l4_cap_idx_t target_cap) L4_NOTHROW in l4_factory_create_irq()397 l4_cap_idx_t target_cap) L4_NOTHROW in l4_factory_create_vm()[all …]
Completed in 3 milliseconds