static int bdrv_rd_badreq_bytes(BlockDriverState *bs,

                                int64_t offset, int count)

{

    int64_t size = bs->total_sectors << SECTOR_BITS;

    return

        count < 0 ||

        size < 0 ||

        count > size ||

        offset > size - count;

}

static int bdrv_rd_badreq_bytes(BlockDriverState *bs,

                                int64_t offset, int count)

{

    int64_t size = bs->total_sectors << SECTOR_BITS;

    return

        count < 0 ||

        size < 0 ||

        count > size ||

        offset > size - count;

}

static int bdrv_rd_badreq_bytes(BlockDriverState *bs,                                 int64_t offset, int count)     int64_t size = bs->total_sectors << SECTOR_BITS;         count < 0 ||         size < 0 ||         count > size ||         offset > size - count;                                 int64_t offset, int count)     int64_t size = bs->total_sectors << SECTOR_BITS;
static int FUNC_0(BlockDriverState *VAR_0,

                                int64_t VAR_1, int VAR_2)

{

    int64_t size = VAR_0->total_sectors << SECTOR_BITS;

    return

        VAR_2 < 0 ||

        size < 0 ||

        VAR_2 > size ||

        VAR_1 > size - VAR_2;

}

static int FUNC_0(BlockDriverState *VAR_0,
int64_t VAR_1, int VAR_2)
{ int64_t size = VAR_0->total_sectors << SECTOR_BITS; return
VAR_2 < 0 ||
size < 0 ||
VAR_2 > size ||
VAR_1 > size - VAR_2; }