Symbol: share_virq
usr/src/uts/i86xpv/os/evtchn.c
1140
share_virq(virqp);
usr/src/uts/i86xpv/os/evtchn.c
1226
share_virq(&virq_info[irq_info[irq].ii_u.index]);