rdseed_enabled   4098 arch/x86/kvm/vmx/vmx.c 		bool rdseed_enabled = guest_cpuid_has(vcpu, X86_FEATURE_RDSEED);
rdseed_enabled   4099 arch/x86/kvm/vmx/vmx.c 		if (rdseed_enabled)
rdseed_enabled   4103 arch/x86/kvm/vmx/vmx.c 			if (rdseed_enabled)