Searched refs:rdseed_enabled (Results 1 – 1 of 1) sorted by relevance
6536 bool rdseed_enabled = guest_cpuid_has(vcpu, X86_FEATURE_RDSEED); in vmx_compute_secondary_exec_control() local6537 if (rdseed_enabled) in vmx_compute_secondary_exec_control()6541 if (rdseed_enabled) in vmx_compute_secondary_exec_control()
