XEN_VCPU_ID_INVALID
if (xen_vcpu_nr(cpu) == XEN_VCPU_ID_INVALID)
per_cpu(xen_vcpu_id, cpu) = XEN_VCPU_ID_INVALID;