Searched refs:MSR_APIC_TPR (Results 1 – 3 of 3) sorted by relevance
486 #define MSR_APIC_TPR 0x808 macro
653 #define MSR_APIC_TPR 0x808 macro
345 guest_msr_rw(vmx, vcpuid, MSR_APIC_TPR); in vmx_allow_x2apic_msrs()