2017-01-22 19:04:55 +03:00
|
|
|
/* Automatically generated by create_config - do not modify */
|
2017-04-21 10:26:21 +03:00
|
|
|
#define HOST_I386 1
|
|
|
|
#define CONFIG_WIN32 1
|
2021-10-03 17:14:44 +03:00
|
|
|
#define CONFIG_TCG 1
|
2017-01-16 09:21:12 +03:00
|
|
|
#define CONFIG_CPUID_H 1
|
2021-10-03 17:14:44 +03:00
|
|
|
// #define CONFIG_INT128 1
|
|
|
|
#define CONFIG_CMPXCHG128 1
|
|
|
|
#define CONFIG_ATOMIC64 1
|
|
|
|
#define CONFIG_PLUGIN 1
|