xenevt_processevt
static int xenevt_processevt(void *);
xenevt_ih = event_set_handler(xenevt_ev, xenevt_processevt, NULL,