Symbol: xen_bind_vcpu
usr/src/uts/i86xpv/os/evtchn.c
516
xen_bind_vcpu(evtchn, cpu);
usr/src/uts/i86xpv/os/evtchn.c
633
xen_bind_vcpu(evtchn, tcpu);