rdrand_enabled   4083 arch/x86/kvm/vmx/vmx.c 		bool rdrand_enabled = guest_cpuid_has(vcpu, X86_FEATURE_RDRAND);
rdrand_enabled   4084 arch/x86/kvm/vmx/vmx.c 		if (rdrand_enabled)
rdrand_enabled   4088 arch/x86/kvm/vmx/vmx.c 			if (rdrand_enabled)