Symbol: IPL_EVTCHN
usr/src/uts/common/xen/io/evtchn_dev.c
639
(void) add_avintr(NULL, IPL_EVTCHN, (avfunc)evtchn_device_upcall,
usr/src/uts/i86xpv/os/evtchn.c
862
irqp->ii_u2.ipl = IPL_EVTCHN;