Lines Matching defs:target_cap
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()
360 l4_cap_idx_t target_cap, l4_fpage_t utcb_area) L4_NOTHROW in l4_factory_create_task()
367 l4_cap_idx_t target_cap) L4_NOTHROW in l4_factory_create_thread()
374 l4_cap_idx_t target_cap, unsigned long limit) L4_NOTHROW in l4_factory_create_factory()
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()
403 l4_factory_create_start_u(long obj, l4_cap_idx_t target_cap, in l4_factory_create_start_u()