Searched refs:MSR_IA32_VMX_MISC (Results 1 – 4 of 4) sorted by relevance
100 val64.full = msr_read(MSR_IA32_VMX_MISC); in init_vmx_msrs()109 vcpu_set_guest_msr(vcpu, MSR_IA32_VMX_MISC, val64.full); in init_vmx_msrs()217 case MSR_IA32_VMX_MISC: in read_vmx_msr()939 ((vcpu_get_guest_msr(vcpu, MSR_IA32_VMX_MISC) & (1UL << 29U)) == 0UL)) { in vmwrite_vmexit_handler()
34 MSR_IA32_VMX_MISC, \
245 #define MSR_IA32_VMX_MISC 0x00000485U macro
453 return ((msr_read(MSR_IA32_VMX_MISC) & MSR_IA32_MISC_UNRESTRICTED_GUEST) != 0UL); in pcpu_has_vmx_unrestricted_guest_cap()
Completed in 15 milliseconds