Searched refs:sema_dispatch (Results 1 – 1 of 1) sorted by relevance
111 static sema_t sema_eventbuf, sema_dispatch, sema_resource; variable419 (void) sema_init(&sema_dispatch, 0, USYNC_THREAD, NULL); in main()545 (void) sema_post(&sema_dispatch); in door_upcall()576 while (sema_wait(&sema_dispatch) != 0) { in dispatch_message()