diff options
Diffstat (limited to 'sysdeps/l4/bits')
| -rw-r--r-- | sysdeps/l4/bits/pthread-np.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/sysdeps/l4/bits/pthread-np.h b/sysdeps/l4/bits/pthread-np.h index b487e6dc..7e807107 100644 --- a/sysdeps/l4/bits/pthread-np.h +++ b/sysdeps/l4/bits/pthread-np.h @@ -35,4 +35,10 @@ extern int pthread_create_from_l4_tid_np (pthread_t *thread, void *(*start_routine)(void *), void *arg); +/* Add the thread TID to the internal kernel thread pool. */ +int pthread_pool_add_np (l4_thread_id_t tid); + +/* Get the first thread from the pool. */ +l4_thread_id_t pthread_pool_get_np (void); + #endif /* bits/pthread-np.h */ |