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