/* Automatically generated by create_config - do not modify */
#define TARGET_X86_64 1
#define TARGET_NAME "x86_64"
#define TARGET_I386 1
#ifdef __linux__
#define CONFIG_KVM 1
#else
#define CONFIG_HAX 1
#endif
#define CONFIG_SOFTMMU 1
#define CONFIG_I386_DIS 1
#define CONFIG_I386_DIS 1