Searched refs:XEN_VCPU_ID_INVALID (Results 1 – 3 of 3) sorted by relevance
53 per_cpu(xen_vcpu_id, cpu) = XEN_VCPU_ID_INVALID; in xen_hvm_smp_prepare_cpus()
128 if (xen_vcpu_nr(cpu) == XEN_VCPU_ID_INVALID) in xen_vcpu_restore()
21 #define XEN_VCPU_ID_INVALID U32_MAX macro