Symbol: xen_vcpu_down
usr/src/uts/i86xpv/os/mp_xen.c
528
(void) xen_vcpu_down(CPU->cpu_id);
usr/src/uts/i86xpv/os/mp_xen.c
646
if ((error = xen_vcpu_down(cp->cpu_id)) == 0) {
usr/src/uts/i86xpv/os/xen_machdep.c
382
(void) xen_vcpu_down(i);
usr/src/uts/intel/sys/hypervisor.h
155
extern long xen_vcpu_down(processorid_t);