Searched refs:MSR_IA32_VMX_MISC (Results 1 – 6 of 6) sorted by relevance
57 vmx_fixed1_msr_test(vcpu, MSR_IA32_VMX_MISC, in vmx_save_restore_msrs_test()
110 vmx_pt_rate = rdmsr(MSR_IA32_VMX_MISC) & 0x1F; in l1_guest_code()
1145 #define MSR_IA32_VMX_MISC 0x00000485 macro
1450 case MSR_IA32_VMX_MISC: in vmx_set_vmx_msr()1519 case MSR_IA32_VMX_MISC: in vmx_get_vmx_msr()
2753 rdmsrl(MSR_IA32_VMX_MISC, misc_msr); in setup_vmcs_config()
1536 MSR_IA32_VMX_MISC,