Lines Matching refs:cap
183 l4_task_release_cap(l4_cap_idx_t task, l4_cap_idx_t cap) L4_NOTHROW;
189 l4_task_release_cap_u(l4_cap_idx_t task, l4_cap_idx_t cap,
210 l4_task_cap_valid(l4_cap_idx_t task, l4_cap_idx_t cap) L4_NOTHROW;
216 l4_task_cap_valid_u(l4_cap_idx_t task, l4_cap_idx_t cap, l4_utcb_t *utcb) L4_NOTHROW;
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() argument
322 v->mr[1] = cap & ~1UL; in l4_task_cap_valid_u()
387 l4_task_release_cap_u(l4_cap_idx_t task, l4_cap_idx_t cap, in l4_task_release_cap_u() argument
390 return l4_task_unmap_u(task, l4_obj_fpage(cap, 0, L4_CAP_FPAGE_RWSD), in l4_task_release_cap_u()
395 l4_task_release_cap(l4_cap_idx_t task, l4_cap_idx_t cap) L4_NOTHROW in l4_task_release_cap() argument
397 return l4_task_release_cap_u(task, cap, l4_utcb()); in l4_task_release_cap()
401 l4_task_cap_valid(l4_cap_idx_t task, l4_cap_idx_t cap) L4_NOTHROW in l4_task_cap_valid() argument
403 return l4_task_cap_valid_u(task, cap, l4_utcb()); in l4_task_cap_valid()