static void bench_undrained_flush_cb(void *opaque, int ret)

{

    if (ret < 0) {

        error_report("Failed flush request: %s\n", strerror(-ret));

        exit(EXIT_FAILURE);

    }

}

static void bench_undrained_flush_cb(void *opaque, int ret)

{

    if (ret < 0) {

        error_report("Failed flush request: %s\n", strerror(-ret));

        exit(EXIT_FAILURE);

    }

}

static void FUNC_0(void *VAR_0, int VAR_1)

{

    if (VAR_1 < 0) {

        error_report("Failed flush request: %s\n", strerror(-VAR_1));

        exit(EXIT_FAILURE);

    }

}

static void FUNC_0(void *VAR_0, int VAR_1)
{ if (VAR_1 < 0) { error_report("Failed flush request: %s\n", strerror(-VAR_1)); exit(EXIT_FAILURE); } }