Searched refs:sema_eventbuf (Results 1 – 1 of 1) sorted by relevance
111 static sema_t sema_eventbuf, sema_dispatch, sema_resource; variable417 (void) sema_init(&sema_eventbuf, SE_EVENT_DISPATCH_CNT, in main()524 } else if (sema_trywait(&sema_eventbuf)) { in door_upcall()1022 (void) sema_post(&sema_eventbuf); in dispatch()1066 (void) sema_post(&sema_eventbuf); in dispatch()1090 (void) sema_post(&sema_eventbuf); in dispatch()