XEN_VCPU_ID_INVALID  155 arch/x86/xen/enlighten.c 		if (xen_vcpu_nr(cpu) == XEN_VCPU_ID_INVALID)
XEN_VCPU_ID_INVALID   44 arch/x86/xen/smp_hvm.c 		per_cpu(xen_vcpu_id, cpu) = XEN_VCPU_ID_INVALID;