Searched refs:rdseed_enabled (Results 1 – 1 of 1) sorted by relevance
4114 bool rdseed_enabled = guest_cpuid_has(vcpu, X86_FEATURE_RDSEED); in vmx_compute_secondary_exec_control() local4115 if (rdseed_enabled) in vmx_compute_secondary_exec_control()4119 if (rdseed_enabled) in vmx_compute_secondary_exec_control()
