23 #include <posix/posix.h>
24 #include <posix/mutex.h>
26 int pse51_cond_timedwait_prologue(xnthread_t *curr,
27 struct __shadow_cond *shadow,
28 struct __shadow_mutex *mutex,
33 int pse51_cond_timedwait_epilogue(xnthread_t *curr,
34 struct __shadow_cond *shadow,
35 struct __shadow_mutex *mutex,
unsigned count);
37 void pse51_condq_cleanup(pse51_kqueues_t *q);
39 void pse51_cond_pkg_init(
void);
41 void pse51_cond_pkg_cleanup(
void);