Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-pcache/cache_req.c cache_copy_from_req_bio() -> segment_copy_from_bio()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | segment | 4096-ptr_max |
| BUF_SIZE | 0 | segment | 32 |
| BUF_SIZE | 3 | bio | (-1),144 |
| BUF_SIZE | 3 | bio | (-1),144 |
| DATA_SOURCE | 4 | bio_off | $3 |
| NOSPEC | 2 | data_len | |
| NOSPEC | 2 | data_len | |
| NOSPEC | 3 | bio->bi_iter.bi_sector | |
| NOSPEC | 3 | bio->bi_iter.bi_size | |
| NOSPEC | 4 | bio_off | |
| NOSPEC | 4 | bio_off | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 2 | data_len | 1-4194304[c] |
| HOST_DATA | 3 | bio->bi_iter.bi_sector | 0 |
| HOST_DATA | 3 | bio->bi_iter.bi_size | 0[c] |
| HOST_DATA | 3 | bio->bi_max_vecs | 0-4,16,64,128,256[c] |
| HOST_DATA | 4 | bio_off | 4194304[c] |
| USER_DATA | 2 | data_len | 1-4194304[c] |
| USER_DATA | 3 | bio->bi_ioprio | 0-u16max |
| USER_DATA | 3 | bio->bi_iter.bi_sector | 0 |
| USER_DATA | 3 | bio->bi_iter.bi_size | 0 |
| USER_DATA | 3 | bio->bi_max_vecs | 0-4,16,64,128,256[c] |
| USER_DATA | 4 | bio_off | 4194304[c][u] |
| UNITS | 1 | data_off | unit_byte |
| UNITS | 2 | data_len | unit_byte |
| UNITS | 4 | bio_off | unit_byte |
| HALF_LOCKED2 | &cache_subtree->tree_lock |