Symbol: xen_bind_ipi
usr/src/uts/i86xpv/os/evtchn.c
1156
evtchn = xen_bind_ipi(i);
usr/src/uts/i86xpv/os/evtchn.c
727
evtchn = xen_bind_ipi(cpu);