Symbol: SET_EVTCHN_BIT
usr/src/uts/i86xpv/os/evtchn.c
341
SET_EVTCHN_BIT(evtchn, cpe->evt_affinity);
usr/src/uts/i86xpv/os/evtchn.c
492
SET_EVTCHN_BIT(pirq, &pirq_needs_eoi[0]);