X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/e424cbebc45a274b4f20e5467fe791c70dbfd9f3..c16a255e75d82fc9841d6bc9ef1ecb19b5de1211:/l4/pkg/uclibc/lib/libpthread/include/pthread-l4.h?ds=sidebyside

diff --git a/l4/pkg/uclibc/lib/libpthread/include/pthread-l4.h b/l4/pkg/uclibc/lib/libpthread/include/pthread-l4.h
index d6f8898d7..b2fc8455d 100644
--- 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