Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

block/bio-integrity.c bio_integrity_add_page() -> bvec_gap_to_prev()

Type Parameter Key Value
PARAM_VALUE 0 lim 4096-ptr_max
PARAM_VALUE 1 bprv 4096-ptr_max
PARAM_VALUE 2 offset 0-4095
DATA_SOURCE 2 offset $3
RX_PATH
TASK_NOT_RUNNING

block/blk-merge.c bio_split_io_at() -> bvec_gap_to_prev()

Type Parameter Key Value
PARAM_VALUE 0 lim 4096-ptr_max
PARAM_VALUE 1 bprv 6578806243453009920
BUF_SIZE 0 lim (-1),200
BUF_SIZE 0 lim (-1),200
BUF_SIZE 1 bprv 16
DATA_SOURCE 0 lim $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 lim->discard_granularity
NO_OVERFLOW_SIMPLE 0 lim->max_discard_sectors
NO_OVERFLOW_SIMPLE 0 lim->max_hw_discard_sectors
NO_OVERFLOW_SIMPLE 0 lim->max_open_zones
NO_OVERFLOW_SIMPLE 0 lim->zone_write_granularity
UNITS 2 offset unit_byte

block/blk-merge.c integrity_req_gap_back_merge() -> bvec_gap_to_prev()

Type Parameter Key Value
PARAM_VALUE 0 lim 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 lim->discard_granularity
NO_OVERFLOW_SIMPLE 0 lim->max_discard_sectors
NO_OVERFLOW_SIMPLE 0 lim->max_hw_discard_sectors
NO_OVERFLOW_SIMPLE 0 lim->max_open_zones
NO_OVERFLOW_SIMPLE 0 lim->zone_write_granularity
UNITS 2 offset unit_byte
HALF_LOCKED2 &next->bi_bdev->bd_queue->queue_lock

block/blk-merge.c integrity_req_gap_front_merge() -> bvec_gap_to_prev()

Type Parameter Key Value
PARAM_VALUE 0 lim 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 2 offset unit_byte
HALF_LOCKED2 &bio->bi_bdev->bd_queue->queue_lock

block/blk-integrity.c integrity_req_gap_back_merge() -> bvec_gap_to_prev()

Type Parameter Key Value
PARAM_VALUE 0 lim 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 2 offset unit_byte
HALF_LOCKED2 &bfqd->lock
HALF_LOCKED2 &dd->lock
HALF_LOCKED2 irq