85 void condvar_init(struct condvar *cv);
86 void condvar_destroy(struct condvar *cv);
89 void condvar_signal_debug(struct condvar *cv, const char *fname, int lineno);
90 #define condvar_signal(cv) condvar_signal_debug((cv), __FILE__, __LINE__)  argument
92 void condvar_broadcast_debug(struct condvar *cv, const char *fname, int lineno);
93 #define condvar_broadcast(cv) condvar_broadcast_debug((cv), __FILE__, __LINE__)  argument
95 void condvar_wait_debug(struct condvar *cv, struct mutex *m,
97 #define condvar_wait(cv, m) condvar_wait_debug((cv), (m), __FILE__, __LINE__)  argument
103 TEE_Result condvar_wait_timeout_debug(struct condvar *cv, struct mutex *m,
106 #define condvar_wait_timeout(cv, m, timeout_ms) \  argument
107 	condvar_wait_timeout_debug((cv), (m), (timeout_ms), __FILE__, __LINE__)
109 void condvar_signal(struct condvar *cv);
110 void condvar_broadcast(struct condvar *cv);
111 void condvar_wait(struct condvar *cv, struct mutex *m);
116 TEE_Result condvar_wait_timeout(struct condvar *cv, struct mutex *m,