Lines Matching refs:l4_utcb_t
73 l4_fpage_t snd_fpage, l4_umword_t snd_base, l4_utcb_t *utcb) L4_NOTHROW;
106 l4_umword_t map_mask, l4_utcb_t *utcb) L4_NOTHROW;
137 l4_utcb_t *u) L4_NOTHROW;
164 l4_utcb_t *u) L4_NOTHROW;
190 l4_utcb_t *u) L4_NOTHROW;
216 l4_task_cap_valid_u(l4_cap_idx_t task, l4_cap_idx_t cap, l4_utcb_t *utcb) L4_NOTHROW;
239 l4_utcb_t *u) L4_NOTHROW;
259 l4_cap_idx_t cap_b, l4_utcb_t *utcb) L4_NOTHROW;
283 l4_fpage_t snd_fpage, l4_umword_t snd_base, l4_utcb_t *u) L4_NOTHROW in l4_task_map_u()
296 l4_umword_t map_mask, l4_utcb_t *u) L4_NOTHROW in l4_task_unmap_u()
308 l4_utcb_t *u) L4_NOTHROW in l4_task_unmap_batch_u()
318 l4_task_cap_valid_u(l4_cap_idx_t task, l4_cap_idx_t cap, l4_utcb_t *u) L4_NOTHROW in l4_task_cap_valid_u()
328 l4_cap_idx_t cap_b, l4_utcb_t *u) L4_NOTHROW in l4_task_cap_equal_u()
339 l4_utcb_t *u) L4_NOTHROW in l4_task_add_ku_mem_u()
373 l4_utcb_t *u) L4_NOTHROW in l4_task_delete_obj_u()
388 l4_utcb_t *u) L4_NOTHROW in l4_task_release_cap_u()