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

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.common.c663 static volatile int UNUSED interface_init_lock = 0; variable
681 sync_sem_bare_wait(/*? interface_init_ep ?*/, &interface_init_lock);
704 sync_sem_bare_wait(/*? interface_init_ep ?*/, &interface_init_lock);
795 sync_sem_bare_wait(/*? interface_init_ep ?*/, &interface_init_lock);
819 sync_sem_bare_post(/*? interface_init_ep ?*/, &interface_init_lock);

Completed in 84 milliseconds