static int bdrv_rd_badreq_sectors(BlockDriverState *bs,

                                  int64_t sector_num, int nb_sectors)

{

    return

        nb_sectors < 0 ||

        sector_num < 0 ||

        nb_sectors > bs->total_sectors ||

        sector_num > bs->total_sectors - nb_sectors;

}

static int bdrv_rd_badreq_sectors(BlockDriverState *bs,

                                  int64_t sector_num, int nb_sectors)

{

    return

        nb_sectors < 0 ||

        sector_num < 0 ||

        nb_sectors > bs->total_sectors ||

        sector_num > bs->total_sectors - nb_sectors;

}

static int bdrv_rd_badreq_sectors(BlockDriverState *bs,                                   int64_t sector_num, int nb_sectors)         nb_sectors < 0 ||         sector_num < 0 ||         nb_sectors > bs->total_sectors ||         sector_num > bs->total_sectors - nb_sectors;                                   int64_t sector_num, int nb_sectors)
static int FUNC_0(BlockDriverState *VAR_0,

                                  int64_t VAR_1, int VAR_2)

{

    return

        VAR_2 < 0 ||

        VAR_1 < 0 ||

        VAR_2 > VAR_0->total_sectors ||

        VAR_1 > VAR_0->total_sectors - VAR_2;

}

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