1127 static void vhdx_block_translate(BDRVVHDXState *s, int64_t sector_num,  in vhdx_block_translate()  argument
1132     sinfo->bat_idx = sector_num >> s->sectors_per_block_bits;  in vhdx_block_translate()
1135     block_offset = sector_num - (sinfo->bat_idx << s->sectors_per_block_bits);  in vhdx_block_translate()
1182 vhdx_co_readv(BlockDriverState *bs, int64_t sector_num, int nb_sectors,  in vhdx_co_readv()  argument
1203             vhdx_block_translate(s, sector_num, nb_sectors, &sinfo);  in vhdx_co_readv()
1237             sector_num += sinfo.sectors_avail;  in vhdx_co_readv()
1336 vhdx_co_writev(BlockDriverState *bs, int64_t sector_num, int nb_sectors,  in vhdx_co_writev()  argument
1370             vhdx_block_translate(s, sector_num, nb_sectors, &sinfo);  in vhdx_co_writev()
1484             sector_num += sinfo.sectors_avail;  in vhdx_co_writev()
1711     uint64_t sector_num = 0;  in vhdx_create_bat()  local
1763         while (sector_num < total_sectors) {  in vhdx_create_bat()
1764             vhdx_block_translate(s, sector_num, s->sectors_per_block, &sinfo);  in vhdx_create_bat()
1766                                 (sector_num << s->logical_sector_size_bits);  in vhdx_create_bat()
1771             sector_num += s->sectors_per_block;  in vhdx_create_bat()