Searched refs:thread_current_token (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-2018-10-04/include/barrelfish/ | ||
| H A D | threads.h | 81 uint32_t thread_current_token(void); |
| /barrelfish-2018-10-04/lib/barrelfish/ | ||
| H A D | threads.c | 616 uint32_t thread_current_token(void) function |
Completed in 87 milliseconds