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

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.common.c661 static volatile int UNUSED pre_init_lock = 0; variable
673 sync_sem_bare_post(/*? pre_init_ep ?*/, &pre_init_lock);
701 sync_sem_bare_post(/*? pre_init_ep ?*/, &pre_init_lock);
803 sync_sem_bare_wait(/*? pre_init_ep ?*/, &pre_init_lock);
813 sync_sem_bare_wait(/*? pre_init_ep ?*/, &pre_init_lock);
842 sync_sem_bare_wait(/*? pre_init_ep ?*/, &pre_init_lock);

Completed in 26 milliseconds