Home
last modified time | relevance | path

Searched refs:pthread_l4_cap (Results 1 – 5 of 5) sorted by relevance

/l4re-core-master/uclibc/lib/libpthread/include/
A Dpthread-l4.h14 l4_cap_idx_t pthread_l4_cap(pthread_t t);
30 { return ::L4::Cap< ::L4::Thread>(pthread_l4_cap(t)); } in cap()
52 { return pthread_l4_cap(t); } in pthread_getl4cap()
/l4re-core-master/uclibc/lib/libpthread/src/
A Dsignals.c11 l4_cap_idx_t c = pthread_l4_cap(thread); in pthread_kill()
A Dl4.cc22 l4_cap_idx_t pthread_l4_cap(pthread_t thread_id) in pthread_l4_cap() function
/l4re-core-master/ned/server/src/
A Dserver.cc42 l4_debugger_set_object_name(pthread_l4_cap(_th), "ned-svr"); in Server()
A Dlua_exec.cc393 L4::cap_cast<Obs_iface>(observer->obj_cap())->wait(pthread_l4_cap(pthread_self()), t.get()); in __task_wait()

Completed in 6 milliseconds