xen_vcpu_nr
err = HYPERVISOR_vcpu_op(VCPUOP_register_vcpu_info, xen_vcpu_nr(cpu),
if (xen_vcpu_nr(cpu) == XEN_VCPU_ID_INVALID)
xen_vcpu_nr(cpu), NULL) > 0;
HYPERVISOR_vcpu_op(VCPUOP_down, xen_vcpu_nr(cpu), NULL))
HYPERVISOR_vcpu_op(VCPUOP_up, xen_vcpu_nr(cpu), NULL))
if (xen_vcpu_nr(cpu) < MAX_VIRT_CPUS) {
&HYPERVISOR_shared_info->vcpu_info[xen_vcpu_nr(cpu)];
err = HYPERVISOR_vcpu_op(VCPUOP_register_vcpu_info, xen_vcpu_nr(cpu),
xen_vcpu_nr(smp_processor_id()), NULL);
if (HYPERVISOR_vcpu_op(VCPUOP_initialise, xen_vcpu_nr(cpu), ctxt))
BUG_ON(HYPERVISOR_vcpu_op(VCPUOP_up, xen_vcpu_nr(cpu), NULL));
while (HYPERVISOR_vcpu_op(VCPUOP_is_up, xen_vcpu_nr(cpu), NULL)) {
HYPERVISOR_vcpu_op(VCPUOP_down, xen_vcpu_nr(smp_processor_id()), NULL);
HYPERVISOR_vcpu_op(VCPUOP_down, xen_vcpu_nr(cpu), NULL);
if (HYPERVISOR_vcpu_op(VCPUOP_stop_singleshot_timer, xen_vcpu_nr(cpu),
HYPERVISOR_vcpu_op(VCPUOP_stop_periodic_timer, xen_vcpu_nr(cpu),
if (HYPERVISOR_vcpu_op(VCPUOP_stop_periodic_timer, xen_vcpu_nr(cpu),
ret = HYPERVISOR_vcpu_op(VCPUOP_set_singleshot_timer, xen_vcpu_nr(cpu),
xen_vcpu_nr(cpu), NULL))
if (HYPERVISOR_vcpu_op(VCPUOP_stop_periodic_timer, xen_vcpu_nr(cpu),
xen_vcpu_nr(0));
bind_ipi.vcpu = xen_vcpu_nr(cpu);
if (status.vcpu == xen_vcpu_nr(cpu)) {
bind_virq.vcpu = xen_vcpu_nr(cpu);
int rc = HYPERVISOR_vcpu_op(VCPUOP_send_nmi, xen_vcpu_nr(cpu),
bind_vcpu.vcpu = xen_vcpu_nr(tcpu);
bind_virq.vcpu = xen_vcpu_nr(cpu);
bind_ipi.vcpu = xen_vcpu_nr(cpu);
init_control.vcpu = xen_vcpu_nr(cpu);
bind_virq.vcpu = xen_vcpu_nr(0);
xen_vcpu_nr(cpu), &area))