VCPUOP_is_up      162 arch/x86/xen/smp.c 		rc = HYPERVISOR_vcpu_op(VCPUOP_is_up, i, NULL);
VCPUOP_is_up      350 arch/x86/xen/smp.c 	while (HYPERVISOR_vcpu_op(VCPUOP_is_up, cpu, NULL)) {