xen_vcpu_down
(void) xen_vcpu_down(CPU->cpu_id);
if ((error = xen_vcpu_down(cp->cpu_id)) == 0) {
(void) xen_vcpu_down(i);
extern long xen_vcpu_down(processorid_t);