Searched defs:sync_bin_sem_t (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4sync/include/sync/
H A Dbin_sem.h29 } sync_bin_sem_t; typedef in typeref:struct:__anon33
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.common.c226 static sync_bin_sem_t /*? binary_semaphore ?*/; variable

Completed in 84 milliseconds