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))