| /* 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 |