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 enum
   8 {
   9   PTHREAD_L4_ATTR_NO_START = 0x0001,
  10 };
  11
  12 __BEGIN_DECLS
  13
  14 l4_cap_idx_t pthread_getl4cap(pthread_t t);
  15 void pthread_l4_for_each_thread(void (*fn)(pthread_t));
  16
  17 __END_DECLS
  18
  19 #ifdef __cplusplus
  20
  21 #include <l4/sys/thread>
  22 inline L4::Cap<L4::Thread> pthread_l4_getcap(pthread_t t)
  23 { return L4::Cap<L4::Thread>(pthread_getl4cap(t)); }
  24
  25 #endif