Symbol: ev_intval
usr/src/cmd/isns/isnsd/isns_esi.h
80
uint32_t ev_intval(void *);
usr/src/cmd/isns/isnsd/sched.c
335
t = ev_intval(ev);