Searched defs:sync_bin_sem_init (Results 1 - 1 of 1) sorted by last modified time
| /seL4-camkes-master/projects/seL4_libs/libsel4sync/include/sync/ | ||
| H A D | bin_sem.h | 36 static inline int sync_bin_sem_init(sync_bin_sem_t *sem, seL4_CPtr notification, int value) function |
Completed in 31 milliseconds