Symbol: end_pirq
usr/src/uts/i86xpv/os/evtchn.c
945
end_pirq(irq);
usr/src/uts/i86xpv/os/evtchn.c
966
end_pirq(irq);