Searched refs:MSR_IA32_MISC_ENABLE (Results 1 – 5 of 5) sorted by relevance
123 msr_write(MSR_IA32_MISC_ENABLE, (msr_read(MSR_IA32_MISC_ENABLE) & in disable_host_monitor_wait()145 uint64_t misc_enable = msr_read(MSR_IA32_MISC_ENABLE); in is_fast_string_erms_supported_and_enabled()
60 MSR_IA32_MISC_ENABLE,772 case MSR_IA32_MISC_ENABLE: in rdmsr_vmexit_handler()774 v = vcpu_get_guest_msr(vcpu, MSR_IA32_MISC_ENABLE); in rdmsr_vmexit_handler()1030 vcpu_set_guest_msr(vcpu, MSR_IA32_MISC_ENABLE, effective_guest_msr); in set_guest_ia32_misc_enalbe()1249 case MSR_IA32_MISC_ENABLE: in wrmsr_vmexit_handler()
56 vcpu_set_guest_msr(vcpu, MSR_IA32_MISC_ENABLE, in init_guest_vmx()57 (msr_read(MSR_IA32_MISC_ENABLE) & (~MSR_IA32_MISC_ENABLE_MONITOR_ENA))); in init_guest_vmx()
888 uint64_t guest_ia32_misc_enable = vcpu_get_guest_msr(vcpu, MSR_IA32_MISC_ENABLE); in guest_cpuid_80000001h()911 uint64_t guest_ia32_misc_enable = vcpu_get_guest_msr(vcpu, MSR_IA32_MISC_ENABLE); in guest_limit_cpuid()
69 #define MSR_IA32_MISC_ENABLE 0x000001A0U macro
Completed in 12 milliseconds