Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/raid10.c raid10_sync_request() -> raid10_find_phys()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | conf | 4096-ptr_max |
| PARAM_VALUE | 0 | conf->mddev | 4096-ptr_max |
| PARAM_VALUE | 1 | r10bio | 4096-ptr_max |
| PARAM_VALUE | 1 | r10bio->devs | 4096-ptr_max |
| PARAM_VALUE | 1 | r10bio->sector | 0-18446744073709551614 |
| PARAM_VALUE | 1 | r10bio->state | 0 |
| BUF_SIZE | 0 | conf | 1216,1600,2712 |
| BUF_SIZE | 0 | conf | 1216,1600,2712 |
| CAPPED_DATA | 1 | r10bio->mddev->resync_max | 1 |
| CAPPED_DATA | 1 | r10bio->sector | 1 |
| DATA_SOURCE | 1 | r10bio | r raid10_alloc_init_r10buf |
| NOCHECK_CALL |
drivers/md/raid10.c raid10_write_request() -> raid10_find_phys()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | conf | 4096-ptr_max |
| PARAM_VALUE | 1 | r10bio | 4096-ptr_max |
| PARAM_VALUE | 1 | r10bio->state | 0 |
| BUF_SIZE | 0 | conf | 1216,1600,2712 |
| BUF_SIZE | 0 | conf | 1216,1600,2712 |
| BUF_SIZE | 1 | r10bio->master_bio | (-1)-0,4,24,32,64,144-s32max |
| BUF_SIZE | 1 | r10bio->mddev | s32min-(-1),1-s32max |
| CAPPED_DATA | 1 | r10bio->sectors | 1 |
| DATA_SOURCE | 1 | r10bio | $2 |
| STR_LEN | 1 | r10bio->master_bio->bi_private | (-1) |
| NOSPEC | 1 | r10bio->master_bio->bi_iter.bi_sector | |
| NOSPEC | 1 | r10bio->master_bio->bi_iter.bi_size | |
| NOSPEC | 1 | r10bio->sector | |
| MEM_ZERO | 1 | r10bio->devs | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | r10bio->master_bio->bi_iter.bi_sector | 0-u64max |
| HOST_DATA | 1 | r10bio->master_bio->bi_iter.bi_size | 0-u32max[c] |
| HOST_DATA | 1 | r10bio->master_bio->bi_max_vecs | 0-4,16,64,128,256[c] |
| HOST_DATA | 1 | r10bio->sector | 0-u64max |
| USER_DATA | 1 | r10bio->master_bio->bi_ioprio | 0-u16max |
| USER_DATA | 1 | r10bio->master_bio->bi_iter.bi_sector | 0-u64max |
| USER_DATA | 1 | r10bio->master_bio->bi_iter.bi_size | 0-u32max |
| USER_DATA | 1 | r10bio->master_bio->bi_max_vecs | 0-4,16,64,128,256[c] |
| USER_DATA | 1 | r10bio->sector | 0-u64max |
| HALF_LOCKED2 | &bio->bi_bdev->bd_queue->queue_lock | ||
| HALF_LOCKED2 | &md->io_barrier |
drivers/md/raid10.c read_balance() -> raid10_find_phys()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | conf | 4096-ptr_max |
| PARAM_VALUE | 1 | r10bio | 4096-ptr_max |
| PARAM_VALUE | 1 | r10bio->state | 0 |
| BUF_SIZE | 0 | conf | 1216,1600,2712 |
| BUF_SIZE | 0 | conf | 1216,1600,2712 |
| BUF_SIZE | 1 | r10bio->master_bio | (-1)-0,32,144-16528 |
| BUF_SIZE | 1 | r10bio->mddev | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | conf | $0 |
| DATA_SOURCE | 1 | r10bio | $1 |
| STR_LEN | 1 | r10bio->master_bio->bi_private | (-1) |
| NOSPEC | 1 | r10bio->master_bio->bi_iter.bi_sector | |
| NOSPEC | 1 | r10bio->master_bio->bi_iter.bi_size | |
| NOSPEC | 1 | r10bio->sector | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | r10bio->master_bio->bi_iter.bi_sector | 0[c] |
| HOST_DATA | 1 | r10bio->master_bio->bi_iter.bi_size | 512-4294966272[c] |
| HOST_DATA | 1 | r10bio->master_bio->bi_max_vecs | 0-4,16,64,128,256[c] |
| HOST_DATA | 1 | r10bio->sector | 0[c] |
| HOST_DATA | 1 | r10bio->sectors | 0-s32max[c] |
| USER_DATA | 1 | r10bio->master_bio->bi_ioprio | 0-u16max |
| USER_DATA | 1 | r10bio->master_bio->bi_iter.bi_sector | 0[c] |
| USER_DATA | 1 | r10bio->master_bio->bi_iter.bi_size | 512-4294966272 |
| USER_DATA | 1 | r10bio->master_bio->bi_max_vecs | 0-4,16,64,128,256[c] |
| USER_DATA | 1 | r10bio->sector | 0[c] |
| USER_DATA | 1 | r10bio->sectors | 0-s32max[c] |