Lines Matching refs:cap
75 { return l4_task_map_u(cap(), src_task.cap(), snd_fpage, snd_base, utcb); }
102 { return l4_task_unmap_u(cap(), fpage, map_mask, utcb); }
122 { return l4_task_unmap_batch_u(cap(), fpages, num_fpages, map_mask, utcb); }
140 { return l4_task_delete_obj_u(cap(), obj.cap(), utcb); }
152 * \note If the reference counter of the kernel object referenced by `cap`
157 l4_msgtag_t release_cap(L4::Cap<void> cap,
159 { return l4_task_release_cap_u(this->cap(), cap.cap(), utcb); }
164 * \param cap Valid capability to check for presence.
173 * \pre `cap` must be a valid capability (i.e. `cap.is_valid() == true`).
177 l4_msgtag_t cap_valid(Cap<void> const &cap,
179 { return l4_task_cap_valid_u(this->cap(), cap.cap(), utcb); }
196 { return l4_task_cap_equal_u(cap(), cap_a.cap(), cap_b.cap(), utcb); }
214 { return l4_task_add_ku_mem_u(cap(), fpage, utcb); }