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

/seL4-camkes-master/projects/seL4_libs/libsel4sync/include/sync/
H A Dsem.h29 } sync_sem_t; typedef in typeref:struct:__anon35
36 static inline int sync_sem_init(sync_sem_t *sem, seL4_CPtr ep, int value)
55 static inline int sync_sem_wait(sync_sem_t *sem)
68 static inline int sync_sem_trywait(sync_sem_t *sem)
80 static inline int sync_sem_post(sync_sem_t *sem)
94 static inline int sync_sem_new(vka_t *vka, sync_sem_t *sem, int value)
113 static inline int sync_sem_destroy(vka_t *vka, sync_sem_t *sem)
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.common.c198 static sync_sem_t /*? semaphore ?*/; variable

Completed in 83 milliseconds