Searched refs:thread_get_id (Results 1 - 6 of 6) sorted by relevance
| /barrelfish-2018-10-04/lib/debug_log/ |
| H A D | debug_log.c | 24 snprintf(id, sizeof(id), "%"PRIuPTR, thread_get_id(me));
48 snprintf(id, sizeof(id), "%"PRIuPTR, thread_get_id(me));
|
| /barrelfish-2018-10-04/include/barrelfish/ |
| H A D | threads.h | 76 uintptr_t thread_get_id(struct thread *t);
|
| /barrelfish-2018-10-04/usr/tests/rpc_cap_test/ |
| H A D | rpc_cap_test.c | 37 snprintf(id, sizeof(id), "%"PRIuPTR, thread_get_id(me));
|
| /barrelfish-2018-10-04/lib/barrelfish/ |
| H A D | debug.c | 120 snprintf(id, sizeof(id), "%"PRIuPTR, thread_get_id(me));
|
| H A D | threads.c | 582 uintptr_t thread_get_id(struct thread *t) function
|
| /barrelfish-2018-10-04/lib/posixcompat/ |
| H A D | pthreads.c | 150 thread_get_id((*pthread)->thread));
|
Completed in 42 milliseconds