Searched refs:thread_cap (Results 1 – 8 of 8) sorted by relevance
| /l4re-core-master/l4sys/include/ |
| A D | factory.h | 179 l4_cap_idx_t thread_cap, l4_umword_t label) L4_NOTHROW;
190 l4_cap_idx_t thread_cap, l4_umword_t label,
320 l4_cap_idx_t thread_cap, l4_umword_t label, in l4_factory_create_gate_u() argument
329 if (!(thread_cap & L4_INVALID_CAP_BIT)) in l4_factory_create_gate_u()
333 v->mr[4] = l4_obj_fpage(thread_cap, 0, L4_CAP_FPAGE_RWS).raw; in l4_factory_create_gate_u()
383 l4_cap_idx_t thread_cap, l4_umword_t label) L4_NOTHROW in l4_factory_create_gate() argument
385 return l4_factory_create_gate_u(factory, target_cap, thread_cap, label, l4_utcb()); in l4_factory_create_gate()
|
| A D | factory | 378 * \param thread_cap Optional capability selector of the thread to
382 * `thread_cap` is valid).
389 * \retval -L4_ENOENT `thread_cap` is void or points to something that is not
391 * \retval -L4_EPERM No #L4_CAP_FPAGE_S rights on `thread_cap`.
402 Cap<Thread> const &thread_cap, l4_umword_t label,
404 { return l4_factory_create_gate_u(cap(), target_cap.cap(), thread_cap.cap(), label, utcb); }
|
| /l4re-core-master/moe/server/src/ |
| A D | app_task.h | 41 void thread_cap(L4::Cap<L4::Thread> const &c) { _thread = c; } in thread_cap() function
44 L4::Cap<L4::Thread> thread_cap() const { return _thread; } in thread_cap() function
|
| A D | loader.cc | 228 _task->thread_cap(object_pool.cap_alloc()->alloc<L4::Thread>()); in get_task_caps()
234 *thread = _task->thread_cap(); in get_task_caps()
|
| /l4re-core-master/libstdc++-headers/include/ |
| A D | thread-l4 | 22 inline ::L4::Cap< ::L4::Thread> thread_cap(std::thread &t)
|
| /l4re-core-master/ned/server/src/ |
| A D | app_task.h | 70 L4::Cap<L4::Thread> thread_cap() const { return _thread.get(); } in thread_cap() function
|
| A D | app_model.cc | 169 *thread = _task->thread_cap(); in get_task_caps()
|
| /l4re-core-master/libkproxy/include/ |
| A D | factory_svr | 50 L4::Cap<L4::Thread> const &thread_cap,
|
Completed in 7 milliseconds