SE_EVENT_DISPATCH_CNT
(void) sema_init(&sema_eventbuf, SE_EVENT_DISPATCH_CNT,
(void) sema_init(&sema_resource, SE_EVENT_DISPATCH_CNT,
eventbuf = (sysevent_t **)calloc(SE_EVENT_DISPATCH_CNT,
for (i = 0; i < SE_EVENT_DISPATCH_CNT; ++i) {
deliver_buf = (deliver_buf + 1) % SE_EVENT_DISPATCH_CNT;
dispatch_buf = (dispatch_buf + 1) % SE_EVENT_DISPATCH_CNT;