Searched refs:MSR_APIC_ID (Results 1 – 3 of 3) sorted by relevance
484 #define MSR_APIC_ID 0x802 macro
651 #define MSR_APIC_ID 0x802 macro
317 guest_msr_ro(vmx, vcpuid, MSR_APIC_ID); in vmx_allow_x2apic_msrs()