Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

block/bio-integrity.c bio_integrity_map_user() -> bvec_from_pages()

Type Parameter Key Value
PARAM_VALUE 0 bvec 4096-ptr_max
PARAM_VALUE 2 nr_vecs 0-256
PARAM_VALUE 5 is_p2p 8225246829451685888
PARAM_VALUE 5 *is_p2p 0
BUF_SIZE 0 bvec 128,144-4096
BUF_SIZE 0 bvec 128,144-4096
BUF_SIZE 1 pages (-1)-0,64
BUF_SIZE 1 pages (-1)-0,64
CAPPED_DATA 2 nr_vecs 1
DATA_SOURCE 2 nr_vecs r iov_iter_npages
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 nr_vecs
UNITS 2 nr_vecs unit_array_size
UNITS 3 bytes unit_byte
ELEM_COUNT 0 ==bvec2 8051