void qmp_guest_file_flush(int64_t handle, Error **errp)

{

    GuestFileHandle *gfh = guest_file_handle_find(handle, errp);

    FILE *fh;

    int ret;



    if (!gfh) {

        return;

    }



    fh = gfh->fh;

    ret = fflush(fh);

    if (ret == EOF) {

        error_setg_errno(errp, errno, "failed to flush file");



    }

}
void qmp_guest_file_flush(int64_t handle, Error **errp)

{

    GuestFileHandle *gfh = guest_file_handle_find(handle, errp);

    FILE *fh;

    int ret;



    if (!gfh) {

        return;

    }



    fh = gfh->fh;

    ret = fflush(fh);

    if (ret == EOF) {

        error_setg_errno(errp, errno, "failed to flush file");



    }

}
void FUNC_0(int64_t VAR_0, Error **VAR_1)

{

    GuestFileHandle *gfh = guest_file_handle_find(VAR_0, VAR_1);

    FILE *fh;

    int VAR_2;



    if (!gfh) {

        return;

    }



    fh = gfh->fh;

    VAR_2 = fflush(fh);

    if (VAR_2 == EOF) {

        error_setg_errno(VAR_1, errno, "failed to flush file");



    }

}
void FUNC_0(int64_t VAR_0, Error **VAR_1)
{ GuestFileHandle *gfh = guest_file_handle_find(VAR_0, VAR_1); FILE *fh; int VAR_2; if (!gfh) { return; } fh = gfh->fh; VAR_2 = fflush(fh); if (VAR_2 == EOF) { error_setg_errno(VAR_1, errno, "failed to flush file"); } }