static void pflash_update(pflash_t *pfl, int offset,

                          int size)

{

    int offset_end;

    if (pfl->bs) {

        offset_end = offset + size;

        /* round to sectors */

        offset = offset >> 9;

        offset_end = (offset_end + 511) >> 9;

        bdrv_write(pfl->bs, offset, pfl->storage + (offset << 9),

                   offset_end - offset);

    }

}

static void pflash_update(pflash_t *pfl, int offset,

                          int size)

{

    int offset_end;

    if (pfl->bs) {

        offset_end = offset + size;

        

        offset = offset >> 9;

        offset_end = (offset_end + 511) >> 9;

        bdrv_write(pfl->bs, offset, pfl->storage + (offset << 9),

                   offset_end - offset);

    }

}

static void FUNC_0(pflash_t *VAR_0, int VAR_1,

                          int VAR_2)

{

    int VAR_3;

    if (VAR_0->bs) {

        VAR_3 = VAR_1 + VAR_2;

        

        VAR_1 = VAR_1 >> 9;

        VAR_3 = (VAR_3 + 511) >> 9;

        bdrv_write(VAR_0->bs, VAR_1, VAR_0->storage + (VAR_1 << 9),

                   VAR_3 - VAR_1);

    }

}

static void FUNC_0(pflash_t *VAR_0, int VAR_1,
int VAR_2)
{ int VAR_3; if (VAR_0->bs) { VAR_3 = VAR_1 + VAR_2; VAR_1 = VAR_1 >> 9; VAR_3 = (VAR_3 + 511) >> 9; bdrv_write(VAR_0->bs, VAR_1, VAR_0->storage + (VAR_1 << 9),
VAR_3 - VAR_1); } }