Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

fs/squashfs/zstd_wrapper.c zstd_uncompress() -> bio_next_segment()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 iter 3768471443392327680
PARAM_VALUE 1 iter->bv.bv_len 0-4096
PARAM_VALUE 1 iter->bv.bv_offset 0-4095
PARAM_VALUE 1 iter->idx s32min-u16max
DATA_SOURCE 0 bio $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &stream->mutex

fs/squashfs/zlib_wrapper.c zlib_uncompress() -> bio_next_segment()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 iter 8584952189518032896
PARAM_VALUE 1 iter->bv.bv_len 0-4096
PARAM_VALUE 1 iter->bv.bv_offset 0-4095
PARAM_VALUE 1 iter->idx s32min-u16max
DATA_SOURCE 0 bio $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &stream->mutex

fs/squashfs/lzo_wrapper.c lzo_uncompress() -> bio_next_segment()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 iter 8738281634043281408
PARAM_VALUE 1 iter->bv.bv_len 0-4096
PARAM_VALUE 1 iter->bv.bv_offset 0-4095
PARAM_VALUE 1 iter->idx s32min-u16max
DATA_SOURCE 0 bio $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &stream->mutex

fs/squashfs/lzo_wrapper.c lzo_uncompress() -> bio_next_segment()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 iter 8738281634043281408
PARAM_VALUE 1 iter->bv.bv_len 0-4096
PARAM_VALUE 1 iter->bv.bv_offset 0-4095
PARAM_VALUE 1 iter->idx s32min-u16max
DATA_SOURCE 0 bio $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &stream->mutex

fs/squashfs/block.c copy_bio_to_actor() -> bio_next_segment()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 iter 3336817201976774656
PARAM_VALUE 1 iter->bv.bv_len 0
PARAM_VALUE 1 iter->bv.bv_offset 0
PARAM_VALUE 1 iter->bv.bv_page 0
PARAM_VALUE 1 iter->done 0
PARAM_VALUE 1 iter->idx 0
DATA_SOURCE 0 bio $0
RX_PATH
TASK_NOT_RUNNING

fs/squashfs/block.c copy_bio_to_actor() -> bio_next_segment()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 0 bio->bi_vcnt 1-u16max
PARAM_VALUE 1 iter 3336817201976774656
PARAM_VALUE 1 iter->bv.bv_len 0-4096
PARAM_VALUE 1 iter->bv.bv_offset 0-4095
PARAM_VALUE 1 iter->idx s32min-u16max
DATA_SOURCE 0 bio $0
RX_PATH
TASK_NOT_RUNNING

fs/squashfs/block.c squashfs_read_data() -> bio_next_segment()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 iter 4678906371701796864
PARAM_VALUE 1 iter->bv.bv_len 0
PARAM_VALUE 1 iter->bv.bv_offset 0
PARAM_VALUE 1 iter->bv.bv_page 0
PARAM_VALUE 1 iter->done 0
PARAM_VALUE 1 iter->idx 0
RX_PATH
TASK_NOT_RUNNING

fs/squashfs/block.c squashfs_read_data() -> bio_next_segment()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 0 bio->bi_vcnt 1-u16max
PARAM_VALUE 1 iter 4678906371701796864
PARAM_VALUE 1 iter->bv.bv_len 0-4096
PARAM_VALUE 1 iter->bv.bv_offset 0-4095
PARAM_VALUE 1 iter->idx s32min-u16max
RX_PATH
TASK_NOT_RUNNING

block/blk-map.c bio_copy_from_iter() -> bio_next_segment()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 iter 3437684664586743808
PARAM_VALUE 1 iter->idx s32min-u16max
CAPPED_DATA 0 bio->bi_max_vecs 1
DATA_SOURCE 0 bio $0
RX_PATH
TASK_NOT_RUNNING

block/blk-map.c bio_copy_from_iter() -> bio_next_segment()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 iter 3437684664586743808
PARAM_VALUE 1 iter->bv.bv_len 0-4096
PARAM_VALUE 1 iter->bv.bv_offset 0-4095
PARAM_VALUE 1 iter->idx s32min-u16max
CAPPED_DATA 0 bio->bi_max_vecs 1
DATA_SOURCE 0 bio $0
RX_PATH
TASK_NOT_RUNNING

block/blk-map.c bio_copy_kern_endio_read() -> bio_next_segment()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 iter 210136108513640448
PARAM_VALUE 1 iter->idx s32min-u16max
BUF_SIZE 0 bio (-1)-s32max
BUF_SIZE 0 bio (-1)-s32max
BUF_SIZE 0 bio->bi_pool (-1),624
BUF_SIZE 0 bio->bi_private (-1)-s32max
DATA_SOURCE 0 bio $0
STR_LEN 0 bio (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
STR_LEN 0 bio (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
STR_LEN 0 bio->bi_private (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 bio->bi_iter.bi_sector 0-u64max
HOST_DATA 0 bio->bi_iter.bi_size 0-u32max[c]
HOST_DATA 0 bio->bi_max_vecs 0-u16max[c]

block/blk-map.c bio_copy_kern_endio_read() -> bio_next_segment()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 iter 210136108513640448
PARAM_VALUE 1 iter->bv.bv_len 0-4096
PARAM_VALUE 1 iter->bv.bv_offset 0-4095
PARAM_VALUE 1 iter->idx s32min-u16max
BUF_SIZE 0 bio (-1)-s32max
BUF_SIZE 0 bio (-1)-s32max
BUF_SIZE 0 bio->bi_pool (-1),624
BUF_SIZE 0 bio->bi_private (-1)-s32max
DATA_SOURCE 0 bio $0
STR_LEN 0 bio (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
STR_LEN 0 bio (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
STR_LEN 0 bio->bi_private (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 bio->bi_iter.bi_sector 0-u64max
HOST_DATA 0 bio->bi_iter.bi_size 0-u32max[c]
HOST_DATA 0 bio->bi_max_vecs 0-u16max[c]

block/blk-map.c bio_copy_to_iter() -> bio_next_segment()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 iter 4630461671038054400
PARAM_VALUE 1 iter->idx s32min-u16max
DATA_SOURCE 0 bio $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bio->bi_iter.bi_sector
NO_OVERFLOW_SIMPLE 0 bio->bi_max_vecs
UNITS 0 bio unit_jiffy
HALF_LOCKED2 &cd->lock

block/blk-map.c bio_copy_to_iter() -> bio_next_segment()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 iter 4630461671038054400
PARAM_VALUE 1 iter->bv.bv_len 0-4096
PARAM_VALUE 1 iter->bv.bv_offset 0-4095
PARAM_VALUE 1 iter->idx s32min-u16max
DATA_SOURCE 0 bio $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bio->bi_iter.bi_sector
NO_OVERFLOW_SIMPLE 0 bio->bi_max_vecs
UNITS 0 bio unit_jiffy
HALF_LOCKED2 &cd->lock

block/bio.c bio_free_pages() -> bio_next_segment()

Type Parameter Key Value
PARAM_VALUE 1 iter 8274433365312135168
PARAM_VALUE 1 iter->idx s32min-u16max
BUF_SIZE 0 bio (-1)-s32max
BUF_SIZE 0 bio (-1)-s32max
BUF_SIZE 0 bio->bi_pool (-1),624
BUF_SIZE 0 bio->bi_private (-1)-s32max
DATA_SOURCE 0 bio $0
STR_LEN 0 bio (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
STR_LEN 0 bio (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
STR_LEN 0 bio->bi_private (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 bio->bi_iter.bi_sector 0-u64max
HOST_DATA 0 bio->bi_iter.bi_size 0-u32max[c]
HOST_DATA 0 bio->bi_max_vecs 0-u16max[c]
USER_DATA 0 bio->bi_max_vecs 0-4,16,64,128,256[c]
NO_OVERFLOW_SIMPLE 0 bio->bi_iter.bi_sector
UNITS 0 bio unit_jiffy
USER_PTR 0 bio->bi_private

block/bio.c bio_free_pages() -> bio_next_segment()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 iter 8274433365312135168
PARAM_VALUE 1 iter->bv.bv_len 0-4096
PARAM_VALUE 1 iter->bv.bv_offset 0-4095
PARAM_VALUE 1 iter->idx s32min-u16max
BUF_SIZE 0 bio (-1)-s32max
BUF_SIZE 0 bio (-1)-s32max
BUF_SIZE 0 bio->bi_pool (-1),624
BUF_SIZE 0 bio->bi_private (-1)-s32max
DATA_SOURCE 0 bio $0
STR_LEN 0 bio (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
STR_LEN 0 bio (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
STR_LEN 0 bio->bi_private (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 bio->bi_iter.bi_sector 0-u64max
HOST_DATA 0 bio->bi_iter.bi_size 0-u32max[c]
HOST_DATA 0 bio->bi_max_vecs 0-u16max[c]
USER_DATA 0 bio->bi_max_vecs 0-4,16,64,128,256[c]
NO_OVERFLOW_SIMPLE 0 bio->bi_iter.bi_sector
UNITS 0 bio unit_jiffy
USER_PTR 0 bio->bi_private

fs/squashfs/xz_wrapper.c squashfs_xz_uncompress() -> bio_next_segment()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 iter 3176616336473645056
PARAM_VALUE 1 iter->bv.bv_len 0-4096
PARAM_VALUE 1 iter->bv.bv_offset 0-4095
PARAM_VALUE 1 iter->idx s32min-u16max
DATA_SOURCE 0 bio $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &stream->mutex

fs/gfs2/lops.c gfs2_end_log_write() -> bio_next_segment()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 iter 2909145263635525632
PARAM_VALUE 1 iter->idx s32min-u16max
BUF_SIZE 0 bio (-1)-s32max
BUF_SIZE 0 bio (-1)-s32max
BUF_SIZE 0 bio->bi_pool (-1),624
BUF_SIZE 0 bio->bi_private (-1)-s32max
DATA_SOURCE 0 bio $0
STR_LEN 0 bio (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
STR_LEN 0 bio (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
STR_LEN 0 bio->bi_private (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 bio->bi_iter.bi_sector 0-u64max
HOST_DATA 0 bio->bi_iter.bi_size 0-u32max[c]
HOST_DATA 0 bio->bi_max_vecs 0-u16max[c]

fs/gfs2/lops.c gfs2_end_log_write() -> bio_next_segment()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 iter 2909145263635525632
PARAM_VALUE 1 iter->bv.bv_len 0-4096
PARAM_VALUE 1 iter->bv.bv_offset 0-4095
PARAM_VALUE 1 iter->idx s32min-u16max
BUF_SIZE 0 bio (-1)-s32max
BUF_SIZE 0 bio (-1)-s32max
BUF_SIZE 0 bio->bi_pool (-1),624
BUF_SIZE 0 bio->bi_private (-1)-s32max
DATA_SOURCE 0 bio $0
STR_LEN 0 bio (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
STR_LEN 0 bio (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
STR_LEN 0 bio->bi_private (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 bio->bi_iter.bi_sector 0-u64max
HOST_DATA 0 bio->bi_iter.bi_size 0-u32max[c]
HOST_DATA 0 bio->bi_max_vecs 0-u16max[c]

drivers/md/raid1.c process_checks() -> bio_next_segment()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 iter 2923908156153135104
PARAM_VALUE 1 iter->idx s32min-u16max
TASK_NOT_RUNNING

drivers/md/raid1.c process_checks() -> bio_next_segment()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 iter 2923908156153135104
PARAM_VALUE 1 iter->bv.bv_len 0-4096
PARAM_VALUE 1 iter->bv.bv_offset 0-4095
PARAM_VALUE 1 iter->idx s32min-u16max
TASK_NOT_RUNNING

drivers/md/bcache/btree.c do_btree_node_write() -> bio_next_segment()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 0 bio->bi_io_vec 4096-ptr_max
PARAM_VALUE 0 bio->bi_vcnt 0
PARAM_VALUE 1 iter 8793599089311150080
PARAM_VALUE 1 iter->done 0
PARAM_VALUE 1 iter->idx 0
BUF_SIZE 0 bio 144
BUF_SIZE 0 bio->bi_private 136
DATA_SOURCE 0 bio r bch_bbio_alloc
RX_PATH
TASK_NOT_RUNNING
LOCK2 &b->io_mutex
HALF_LOCKED2 &b->lock
HALF_LOCKED2 &b->write_lock
HALF_LOCKED2 &c->bucket_lock
HALF_LOCKED2 b
TYPE_LOCK (struct btree)->io_mutex

drivers/md/bcache/btree.c do_btree_node_write() -> bio_next_segment()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 0 bio->bi_io_vec 4096-ptr_max
PARAM_VALUE 0 bio->bi_vcnt 0
PARAM_VALUE 1 iter 8793599089311150080
PARAM_VALUE 1 iter->done 0
PARAM_VALUE 1 iter->idx 0
BUF_SIZE 0 bio 144
BUF_SIZE 0 bio->bi_private 136
DATA_SOURCE 0 bio r bch_bbio_alloc
RX_PATH
TASK_NOT_RUNNING
LOCK2 &b->io_mutex
HALF_LOCKED2 &b->lock
HALF_LOCKED2 &b->write_lock
HALF_LOCKED2 &c->bucket_lock
HALF_LOCKED2 b
TYPE_LOCK (struct btree)->io_mutex

fs/squashfs/lz4_wrapper.c lz4_uncompress() -> bio_next_segment()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 iter 6601164057778405376
PARAM_VALUE 1 iter->bv.bv_len 0-4096
PARAM_VALUE 1 iter->bv.bv_offset 0-4095
PARAM_VALUE 1 iter->idx s32min-u16max
DATA_SOURCE 0 bio $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &stream->mutex

fs/squashfs/lz4_wrapper.c lz4_uncompress() -> bio_next_segment()

Type Parameter Key Value
PARAM_VALUE 0 bio 4096-ptr_max
PARAM_VALUE 1 iter 6601164057778405376
PARAM_VALUE 1 iter->bv.bv_len 0-4096
PARAM_VALUE 1 iter->bv.bv_offset 0-4095
PARAM_VALUE 1 iter->idx s32min-u16max
DATA_SOURCE 0 bio $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &stream->mutex