Lines Matching defs:value
583 * value returned may be wrong, but kvm_vcpu_kick() in __apic_accept_irq
584 * will cause vmexit immediately and the value will be recalculated
678 printk(KERN_WARNING "Can't read EOI MSR value: 0x%llx\n",
688 printk(KERN_WARNING "Can't set EOI MSR value: 0x%llx\n",
698 printk(KERN_WARNING "Can't clear EOI MSR value: 0x%llx\n",
2254 void kvm_lapic_set_base(struct kvm_vcpu *vcpu, u64 value)
2260 value |= MSR_IA32_APICBASE_BSP;
2262 vcpu->arch.apic_base = value;
2264 if ((old_value ^ value) & MSR_IA32_APICBASE_ENABLE)
2271 if ((old_value ^ value) & MSR_IA32_APICBASE_ENABLE) {
2272 if (value & MSR_IA32_APICBASE_ENABLE) {
2283 if (((old_value ^ value) & X2APIC_ENABLE) && (value & X2APIC_ENABLE))
2286 if ((old_value ^ value) & (MSR_IA32_APICBASE_ENABLE | X2APIC_ENABLE))
2292 if ((value & MSR_IA32_APICBASE_ENABLE) &&