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