vmx_misc 130 arch/x86/include/asm/vmx.h static inline int vmx_misc_preemption_timer_rate(u64 vmx_misc) vmx_misc 132 arch/x86/include/asm/vmx.h return vmx_misc & VMX_MISC_PREEMPTION_TIMER_RATE_MASK; vmx_misc 135 arch/x86/include/asm/vmx.h static inline int vmx_misc_cr3_count(u64 vmx_misc) vmx_misc 137 arch/x86/include/asm/vmx.h return (vmx_misc & GENMASK_ULL(24, 16)) >> 16; vmx_misc 140 arch/x86/include/asm/vmx.h static inline int vmx_misc_max_msr(u64 vmx_misc) vmx_misc 142 arch/x86/include/asm/vmx.h return (vmx_misc & GENMASK_ULL(27, 25)) >> 25; vmx_misc 145 arch/x86/include/asm/vmx.h static inline int vmx_misc_mseg_revid(u64 vmx_misc) vmx_misc 147 arch/x86/include/asm/vmx.h return (vmx_misc & GENMASK_ULL(63, 32)) >> 32; vmx_misc 882 arch/x86/kvm/vmx/nested.c u64 vmx_misc = vmx_control_msr(vmx->nested.msrs.misc_low, vmx_misc 885 arch/x86/kvm/vmx/nested.c return (vmx_misc_max_msr(vmx_misc) + 1) * VMX_MISC_MSR_LIST_MULTIPLIER; vmx_misc 1140 arch/x86/kvm/vmx/nested.c u64 vmx_misc; vmx_misc 1142 arch/x86/kvm/vmx/nested.c vmx_misc = vmx_control_msr(vmx->nested.msrs.misc_low, vmx_misc 1145 arch/x86/kvm/vmx/nested.c if (!is_bitwise_subset(vmx_misc, data, feature_and_reserved_bits)) vmx_misc 1151 arch/x86/kvm/vmx/nested.c vmx_misc_preemption_timer_rate(vmx_misc)) vmx_misc 1154 arch/x86/kvm/vmx/nested.c if (vmx_misc_cr3_count(data) > vmx_misc_cr3_count(vmx_misc)) vmx_misc 1157 arch/x86/kvm/vmx/nested.c if (vmx_misc_max_msr(data) > vmx_misc_max_msr(vmx_misc)) vmx_misc 1160 arch/x86/kvm/vmx/nested.c if (vmx_misc_mseg_revid(data) != vmx_misc_mseg_revid(vmx_misc))