Searched refs:MSR_APIC_EOI (Results 1 – 3 of 3) sorted by relevance
487 #define MSR_APIC_EOI 0x80b macro
654 #define MSR_APIC_EOI 0x80b macro
346 guest_msr_rw(vmx, vcpuid, MSR_APIC_EOI); in vmx_allow_x2apic_msrs()