Symbol: irq_evtchn
usr/src/uts/i86xpv/os/evtchn.c
1567
evtchn = irq_evtchn(irqp);
usr/src/uts/i86xpv/os/evtchn.c
1589
evtchn = irq_evtchn(irqp);
usr/src/uts/i86xpv/os/evtchn.c
498
int evtchn = irq_evtchn(&irq_info[irq]);
usr/src/uts/i86xpv/os/evtchn.c
631
evtchn = irq_evtchn(irqp);
usr/src/uts/i86xpv/os/evtchn.c
880
ec_unmask_evtchn(irq_evtchn(irqp));
usr/src/uts/i86xpv/os/evtchn.c
896
while (!ec_mask_evtchn(irq_evtchn(irqp)))
usr/src/uts/i86xpv/os/evtchn.c
914
int evtchn = irq_evtchn(&irq_info[irq]);
usr/src/uts/i86xpv/os/evtchn.c
930
evtchn = irq_evtchn(irqp);
usr/src/uts/i86xpv/os/evtchn.c
950
ec_unmask_evtchn(irq_evtchn(irqp));
usr/src/uts/i86xpv/os/evtchn.c
971
if ((evtchn = irq_evtchn(irqp)) != 0)