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

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.common.c665 static volatile int UNUSED post_init_lock = 0; variable
730 sync_sem_bare_post(/*? post_init_ep ?*/, &post_init_lock);
821 sync_sem_bare_wait(/*? post_init_ep ?*/, &post_init_lock);

Completed in 24 milliseconds