void trace_init_file(const char *file)

{

#ifdef CONFIG_TRACE_SIMPLE

    st_set_trace_file(file);

#elif defined CONFIG_TRACE_LOG

    /* If both the simple and the log backends are enabled, "-trace file"

     * only applies to the simple backend; use "-D" for the log backend.

     */

    if (file) {

        qemu_set_log_filename(file);

    }

#else

    if (file) {

        fprintf(stderr, "error: -trace file=...: "

                "option not supported by the selected tracing backends\n");

        exit(1);

    }

#endif

}

void trace_init_file(const char *file)

{

#ifdef CONFIG_TRACE_SIMPLE

    st_set_trace_file(file);

#elif defined CONFIG_TRACE_LOG

    





    if (file) {

        qemu_set_log_filename(file);

    }

#else

    if (file) {

        fprintf(stderr, "error: -trace file=...: "

                "option not supported by the selected tracing backends\n");

        exit(1);

    }

#endif

}

#endif         qemu_set_log_filename(file);
void FUNC_0(const char *VAR_0)

{

#ifdef CONFIG_TRACE_SIMPLE

    st_set_trace_file(VAR_0);

#elif defined CONFIG_TRACE_LOG

    





    if (VAR_0) {

        qemu_set_log_filename(VAR_0);

    }

#else

    if (VAR_0) {

        fprintf(stderr, "error: -trace VAR_0=...: "

                "option not supported by the selected tracing backends\n");

        exit(1);

    }

#endif

}

void FUNC_0(const char *VAR_0)
{ #ifdef CONFIG_TRACE_SIMPLE
st_set_trace_file(VAR_0); #elif defined CONFIG_TRACE_LOG
if (VAR_0) { qemu_set_log_filename(VAR_0); } #else
if (VAR_0) { fprintf(stderr, "error: -trace VAR_0=...: "
"option not supported by the selected tracing backends\n"); exit(1); } #endif
}