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

/seL4-camkes-master/projects/seL4_libs/libsel4sync/include/sync/
H A Dmutex.h26 return sync_bin_sem_init(mutex, notification, 1);
H A Dbin_sem.h36 static inline int sync_bin_sem_init(sync_bin_sem_t *sem, seL4_CPtr notification, int value) function
39 ZF_LOGE("Semaphore passed to sync_bin_sem_init was NULL");
102 return sync_bin_sem_init(sem, sem->notification.cptr, value);
106 /* Deallocate a managed binary semaphore (do not use with sync_bin_sem_init)
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.common.c232 return sync_bin_sem_init(&/*? binary_semaphore ?*/, /*? notification ?*/, /*? initial ?*/);
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dentry.c309 sync_bin_sem_init(&env.spl_semaphore, env.spl_notification.cptr, 1);

Completed in 100 milliseconds