Searched refs:sync_mutex_t (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4sync/include/sync/
H A Dmutex.h19 typedef sync_bin_sem_t sync_mutex_t; typedef
25 static inline int sync_mutex_init(sync_mutex_t *mutex, seL4_CPtr notification) {
32 static inline int sync_mutex_lock(sync_mutex_t *mutex) {
39 static inline int sync_mutex_unlock(sync_mutex_t *mutex) {
47 static inline int sync_mutex_new(vka_t *vka, sync_mutex_t *mutex) {
55 static inline int sync_mutex_destroy(vka_t *vka, sync_mutex_t *mutex) {
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dsync.c39 sync_mutex_t *mtx = calloc(1, sizeof(mtx[0]));
61 ((sync_mutex_t *)mutex)->notification.cptr);
69 ((sync_mutex_t *)mutex)->notification.cptr);
78 ((sync_mutex_t *)mutex)->notification.cptr);
82 sync_mutex_t *mtx = mutex;
/seL4-camkes-master/projects/camkes/apps/mutex/templates/
H A DseL4MyConnector-to.c16 static sync_mutex_t mutex;
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.common.c177 static sync_mutex_t /*? mutex ?*/; variable

Completed in 57 milliseconds