Changes in uspace/lib/c/include/fibril_synch.h [bd41ac52:25f6bddb] in mainline

File:

• uspace/lib/c/include/fibril_synch.h (modified) (1 diff)

uspace/lib/c/include/fibril_synch.h

@@ -164 +164 @@
         fibril_semaphore_t name = FIBRIL_SEMAPHORE_INITIALIZER(name, cnt)
 
+extern void __fibril_synch_init(void);
+extern void __fibril_synch_fini(void);
+
 extern void fibril_mutex_initialize(fibril_mutex_t *);
 extern void fibril_mutex_lock(fibril_mutex_t *);