Searched refs:sema_resource (Results 1 – 1 of 1) sorted by relevance
111 static sema_t sema_eventbuf, sema_dispatch, sema_resource; variable420 (void) sema_init(&sema_resource, SE_EVENT_DISPATCH_CNT, in main()587 while (sema_wait(&sema_resource) != 0) { in dispatch_message()993 (void) sema_post(&sema_resource); in event_completion_thr()1023 (void) sema_post(&sema_resource); in dispatch()