Symbol: IRQ_TO_PIRQ
usr/src/uts/i86xpv/os/evtchn.c
505
pirq_unmask_notify(IRQ_TO_PIRQ(irq));
usr/src/uts/i86xpv/os/evtchn.c
538
pirq_query_unmask(IRQ_TO_PIRQ(irq));
usr/src/uts/i86xpv/os/evtchn.c
547
pirq_unmask_notify(IRQ_TO_PIRQ(irq));