update

[l4.git] / l4 / pkg / uclibc / lib / libpthread / include / pthread-l4.h

diff --git a/l4/pkg/uclibc/lib/libpthread/include/pthread-l4.h b/l4/pkg/uclibc/lib/libpthread/include/pthread-l4.h
index d6f8898d79898b2995465f5f4ee61793a25a9440..b2fc8455d33c2400052fc82532a74da50d99967e 100644 (file)
--- a/l4/pkg/uclibc/lib/libpthread/include/pthread-l4.h
+++ b/l4/pkg/uclibc/lib/libpthread/include/pthread-l4.h
@@ -8,5 +8,8 @@ __BEGIN_DECLS
 
 l4_cap_idx_t pthread_getl4cap(pthread_t t);
 void pthread_l4_for_each_thread(void (*fn)(pthread_t));
+// This is a rather temporary solution, it will go away when UTCBs can be
+// freely placed.
+l4_utcb_t *pthread_l4_reserve_consecutive_utcbs(unsigned num);
 
 __END_DECLS