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 D | mutex.h | 26 return sync_bin_sem_init(mutex, notification, 1);
|
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 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 D | component.common.c | 232 return sync_bin_sem_init(&/*? binary_semaphore ?*/, /*? notification ?*/, /*? initial ?*/);
|
/seL4-camkes-master/tools/rumprun/platform/sel4/ |
H A D | entry.c | 309 sync_bin_sem_init(&env.spl_semaphore, env.spl_notification.cptr, 1);
|
Completed in 44 milliseconds