Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/squashfs/zstd_wrapper.c bio_next_segment() -> bvec_advance()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bvec | 4096-ptr_max |
| PARAM_VALUE | 1 | iter_all | 3768471443392327680 |
| PARAM_VALUE | 1 | iter_all->bv.bv_len | 0-4096 |
| PARAM_VALUE | 1 | iter_all->bv.bv_offset | 0-4095 |
| PARAM_VALUE | 1 | iter_all->idx | s32min-65534 |
| CAPPED_DATA | 1 | iter_all->idx | 1 |
| DATA_SOURCE | 1 | iter_all | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &stream->mutex |
fs/squashfs/zlib_wrapper.c bio_next_segment() -> bvec_advance()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bvec | 4096-ptr_max |
| PARAM_VALUE | 1 | iter_all | 8584952189518032896 |
| PARAM_VALUE | 1 | iter_all->bv.bv_len | 0-4096 |
| PARAM_VALUE | 1 | iter_all->bv.bv_offset | 0-4095 |
| PARAM_VALUE | 1 | iter_all->idx | s32min-65534 |
| CAPPED_DATA | 1 | iter_all->idx | 1 |
| DATA_SOURCE | 1 | iter_all | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &stream->mutex |
fs/squashfs/lzo_wrapper.c bio_next_segment() -> bvec_advance()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bvec | 4096-ptr_max |
| PARAM_VALUE | 1 | iter_all | 8738281634043281408 |
| PARAM_VALUE | 1 | iter_all->bv.bv_len | 0-4096 |
| PARAM_VALUE | 1 | iter_all->bv.bv_offset | 0-4095 |
| PARAM_VALUE | 1 | iter_all->idx | s32min-65534 |
| CAPPED_DATA | 1 | iter_all->idx | 1 |
| DATA_SOURCE | 1 | iter_all | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &stream->mutex |
fs/squashfs/block.c bio_next_segment() -> bvec_advance()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bvec | 4096-ptr_max |
| PARAM_VALUE | 1 | iter_all | 3336817201976774656,4678906371701796864 |
| PARAM_VALUE | 1 | iter_all->bv.bv_len | 0-4096 |
| PARAM_VALUE | 1 | iter_all->bv.bv_offset | 0-4095 |
| PARAM_VALUE | 1 | iter_all->idx | s32min-65534 |
| CAPPED_DATA | 1 | iter_all->idx | 1 |
| DATA_SOURCE | 1 | iter_all | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
block/blk-map.c bio_next_segment() -> bvec_advance()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bvec | 4096-ptr_max |
| PARAM_VALUE | 1 | iter_all | 210136108513640448,3437684664586743808,4630461671038054400 |
| PARAM_VALUE | 1 | iter_all->bv.bv_len | 0-4096 |
| PARAM_VALUE | 1 | iter_all->bv.bv_offset | 0-4095 |
| PARAM_VALUE | 1 | iter_all->idx | s32min-65534 |
| CAPPED_DATA | 1 | iter_all->idx | 1 |
| DATA_SOURCE | 1 | iter_all | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
block/bio.c bio_next_segment() -> bvec_advance()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bvec | 4096-ptr_max |
| PARAM_VALUE | 1 | iter_all | 8274433365312135168 |
| PARAM_VALUE | 1 | iter_all->bv.bv_len | 0-4096 |
| PARAM_VALUE | 1 | iter_all->bv.bv_offset | 0-4095 |
| PARAM_VALUE | 1 | iter_all->idx | s32min-65534 |
| CAPPED_DATA | 1 | iter_all->idx | 1 |
| DATA_SOURCE | 1 | iter_all | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/squashfs/xz_wrapper.c bio_next_segment() -> bvec_advance()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bvec | 4096-ptr_max |
| PARAM_VALUE | 1 | iter_all | 3176616336473645056 |
| PARAM_VALUE | 1 | iter_all->bv.bv_len | 0-4096 |
| PARAM_VALUE | 1 | iter_all->bv.bv_offset | 0-4095 |
| PARAM_VALUE | 1 | iter_all->idx | s32min-65534 |
| CAPPED_DATA | 1 | iter_all->idx | 1 |
| DATA_SOURCE | 1 | iter_all | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &stream->mutex |
fs/gfs2/lops.c bio_next_segment() -> bvec_advance()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bvec | 4096-ptr_max |
| PARAM_VALUE | 1 | iter_all | 2909145263635525632 |
| PARAM_VALUE | 1 | iter_all->bv.bv_len | 0-4096 |
| PARAM_VALUE | 1 | iter_all->bv.bv_offset | 0-4095 |
| PARAM_VALUE | 1 | iter_all->idx | s32min-65534 |
| CAPPED_DATA | 1 | iter_all->idx | 1 |
| DATA_SOURCE | 1 | iter_all | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/raid1.c bio_next_segment() -> bvec_advance()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bvec | 4096-ptr_max |
| PARAM_VALUE | 1 | iter_all | 2923908156153135104 |
| PARAM_VALUE | 1 | iter_all->bv.bv_len | 0-4096 |
| PARAM_VALUE | 1 | iter_all->bv.bv_offset | 0-4095 |
| PARAM_VALUE | 1 | iter_all->idx | s32min-65534 |
| CAPPED_DATA | 1 | iter_all->idx | 1 |
| DATA_SOURCE | 1 | iter_all | $1 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/bcache/btree.c bio_next_segment() -> bvec_advance()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | iter_all | 8793599089311150080 |
| PARAM_VALUE | 1 | iter_all->done | 0 |
| DATA_SOURCE | 1 | iter_all | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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 bio_next_segment() -> bvec_advance()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bvec | 4096-ptr_max |
| PARAM_VALUE | 1 | iter_all | 6601164057778405376 |
| PARAM_VALUE | 1 | iter_all->bv.bv_len | 0-4096 |
| PARAM_VALUE | 1 | iter_all->bv.bv_offset | 0-4095 |
| PARAM_VALUE | 1 | iter_all->idx | s32min-65534 |
| CAPPED_DATA | 1 | iter_all->idx | 1 |
| DATA_SOURCE | 1 | iter_all | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &stream->mutex |