Searched refs:XEN_HVM_CPUID_VCPU_ID_PRESENT (Results 1 – 2 of 2) sorted by relevance
103 #define XEN_HVM_CPUID_VCPU_ID_PRESENT (1u << 3) /* vcpu id is present in EBX */ macro
437 KASSERT((regs[0] & XEN_HVM_CPUID_VCPU_ID_PRESENT) || in xen_hvm_cpu_init()440 PCPU_SET(vcpu_id, (regs[0] & XEN_HVM_CPUID_VCPU_ID_PRESENT) ? in xen_hvm_cpu_init()