Symbol: vmx_secondary_exec_control