Searched refs:thread_set_id (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-2018-10-04/include/barrelfish/ | ||
| H A D | threads.h | 77 void thread_set_id(uintptr_t id); |
| /barrelfish-2018-10-04/lib/barrelfish/ | ||
| H A D | threads.c | 587 void thread_set_id(uintptr_t id) function |
Completed in 95 milliseconds