Searched refs:sync_cv_broadcast_release (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4sync/include/sync/
H A Dcondition_var.h145 static inline int sync_cv_broadcast_release(sync_bin_sem_t *lock, sync_cv_t *cv) function
148 ZF_LOGE("Condition variable passed to sync_cv_broadcast_release is NULL");
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dsync.c275 sync_cv_broadcast_release(&monitor_lock, &consumer_cv);

Completed in 77 milliseconds