Searched refs:MSR_APIC_SELF_IPI (Results 1 – 3 of 3) sorted by relevance
512 #define MSR_APIC_SELF_IPI 0x83f macro
679 #define MSR_APIC_SELF_IPI 0x83f macro
347 guest_msr_rw(vmx, vcpuid, MSR_APIC_SELF_IPI); in vmx_allow_x2apic_msrs()