l4/pkg/uclibc/lib/libpthread/include/pthread-l4.h

   1 #pragma once
   2
   3 #include <l4/sys/compiler.h>
   4 #include <l4/sys/types.h>
   5 #include <pthread.h>
   6
   7 __BEGIN_DECLS
   8
   9 l4_cap_idx_t pthread_getl4cap(pthread_t t);
  10 void pthread_l4_for_each_thread(void (*fn)(pthread_t));
  11 // This is a rather temporary solution, it will go away when UTCBs can be
  12 // freely placed.
  13 l4_utcb_t *pthread_l4_reserve_consecutive_utcbs(unsigned num);
  14
  15 __END_DECLS