On 07/03/2017 09:34 AM, Paolo Bonzini wrote:
--- a/include/exec/helper-proto.h +++ b/include/exec/helper-proto.h @@ -28,7 +28,9 @@ dh_ctype(ret) HELPER(name) (dh_ctype(t1), dh_ctype(t2), dh_ctype(t3), \#include "helper.h"#include "trace/generated-helpers.h" +#ifdef CONFIG_TCG #include "tcg-runtime.h" +#endif
Do we really want to define any of the helpers if !CONFIG_TCG? Perhaps it's the user of this header that needs adjustment. r~