Searched defs:sync_sem_bare_trywait (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/projects/seL4_libs/libsel4sync/include/sync/ | ||
| H A D | sem-bare.h | 67 static inline int sync_sem_bare_trywait(UNUSED seL4_CPtr ep, volatile int *value) function |
Completed in 25 milliseconds