Searched refs:SECONDARY_EXEC_RDSEED_EXITING (Results 1 – 3 of 3) sorted by relevance
65 #define SECONDARY_EXEC_RDSEED_EXITING 0x00010000 macro
78 #define SECONDARY_EXEC_RDSEED_EXITING 0x00010000 macro
4563 SECONDARY_EXEC_RDSEED_EXITING | in setup_vmcs_config()6425 SECONDARY_EXEC_RDSEED_EXITING; in vmx_rdseed_supported()6538 exec_control &= ~SECONDARY_EXEC_RDSEED_EXITING; in vmx_compute_secondary_exec_control()6543 SECONDARY_EXEC_RDSEED_EXITING; in vmx_compute_secondary_exec_control()6546 ~SECONDARY_EXEC_RDSEED_EXITING; in vmx_compute_secondary_exec_control()9690 return nested_cpu_has2(vmcs12, SECONDARY_EXEC_RDSEED_EXITING); in nested_vmx_exit_reflected()
