static int posix_aio_flush(void *opaque)

{

    PosixAioState *s = opaque;

    return !!s->first_aio;

}

static int posix_aio_flush(void *opaque)

{

    PosixAioState *s = opaque;

    return !!s->first_aio;

}

static int FUNC_0(void *VAR_0)

{

    PosixAioState *s = VAR_0;

    return !!s->first_aio;

}

static int FUNC_0(void *VAR_0)
{ PosixAioState *s = VAR_0; return !!s->first_aio; }