Searched refs:l4_task_cap_equal_u (Results 1 – 3 of 3) sorted by relevance
| /l4re-core-master/l4sys/include/ |
| A D | task.h | 258 l4_task_cap_equal_u(l4_cap_idx_t task, l4_cap_idx_t cap_a,
327 l4_task_cap_equal_u(l4_cap_idx_t task, l4_cap_idx_t cap_a, in l4_task_cap_equal_u() function
410 return l4_task_cap_equal_u(task, cap_a, cap_b, l4_utcb()); in l4_task_cap_equal()
|
| A D | task | 196 { return l4_task_cap_equal_u(cap(), cap_a.cap(), cap_b.cap(), utcb); }
|
| /l4re-core-master/ldso/ldso/ |
| A D | dl-syscall.h | 43 l4_msgtag_t t = l4_task_cap_equal_u(L4RE_THIS_TASK_CAP, a, b, l4_utcb_direct()); in _dl_cap_equal()
|
Completed in 5 milliseconds