Symbol: evtchn_masked
usr/src/cmd/mdb/i86xpv/modules/xpv_psm/xpv_psm.c
255
evtchn_masked(int i)
usr/src/cmd/mdb/i86xpv/modules/xpv_uppc/xpv_uppc.c
193
evtchn_masked(int i)