Symbol: evtchn_pending
usr/src/cmd/mdb/i86xpv/modules/xpv_psm/xpv_psm.c
261
evtchn_pending(int i)
usr/src/cmd/mdb/i86xpv/modules/xpv_uppc/xpv_uppc.c
199
evtchn_pending(int i)