Lines Matching refs:apic_base
135 static void __test_apic_id(struct kvm_vcpu *vcpu, uint64_t apic_base)
140 vcpu_set_msr(vcpu, MSR_IA32_APICBASE, apic_base);
144 expected = apic_base & X2APIC_ENABLE ? vcpu->id : vcpu->id << 24;
149 (apic_base & X2APIC_ENABLE) ? "x2APIC" : "xAPIC",
165 uint64_t apic_base;
173 apic_base = vcpu_get_msr(vcpus[i], MSR_IA32_APICBASE);
175 TEST_ASSERT(apic_base & MSR_IA32_APICBASE_ENABLE,
177 TEST_ASSERT(!(apic_base & X2APIC_ENABLE),
180 __test_apic_id(vcpus[i], apic_base);
181 __test_apic_id(vcpus[i], apic_base | X2APIC_ENABLE);
182 __test_apic_id(vcpus[i], apic_base);