Defined in 2 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/md/raid1.c handle_write_finished() -> raid_end_bio_io()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | r1_bio | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->mddev | 4096-ptr_max |
| DATA_SOURCE | 0 | r1_bio | $1 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/raid1.c r1_bio_write_done() -> raid_end_bio_io()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | r1_bio | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->behind_master_bio | 0 |
| PARAM_VALUE | 0 | r1_bio->behind_master_bio->bi_bdev | 0 |
| PARAM_VALUE | 0 | r1_bio->behind_master_bio->bi_blkg | 0 |
| PARAM_VALUE | 0 | r1_bio->behind_master_bio->bi_integrity | 0 |
| PARAM_VALUE | 0 | r1_bio->mddev | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->mddev->bitmap->behind_writes.counter | s32min-s32max |
| PARAM_VALUE | 0 | r1_bio->mddev->safemode_timer.entry->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->mddev->writes_pending.data | 0,4096-ptr_max |
| BUF_SIZE | 0 | r1_bio | (-1)-s32max |
| BUF_SIZE | 0 | r1_bio | (-1)-s32max |
| BUF_SIZE | 0 | r1_bio->mddev | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | r1_bio | $0 |
| STR_LEN | 0 | r1_bio | (-1),8,11-12,14,17,19-20,23,26-27,29,31-32 |
| STR_LEN | 0 | r1_bio | (-1),8,11-12,14,17,19-20,23,26-27,29,31-32 |
| STR_LEN | 0 | r1_bio->master_bio->bi_private | (-1) |
| NOSPEC | 0 | r1_bio->sector | |
| NOSPEC | 0 | r1_bio->sectors | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | r1_bio->behind_master_bio->bi_max_vecs | 0-4,16,64,128,256[c] |
| HOST_DATA | 0 | r1_bio->sector | 0-u64max |
| HOST_DATA | 0 | r1_bio->sectors | 1-8388606[c] |
| USER_DATA | 0 | r1_bio->behind_master_bio->bi_max_vecs | 0-4,16,64,128,256[c] |
| USER_DATA | 0 | r1_bio->master_bio->bi_ioprio | 0-u16max |
| USER_DATA | 0 | r1_bio->sector | 0-u64max |
| USER_DATA | 0 | r1_bio->sectors | 1-8388606[c] |
drivers/md/raid1.c raid1_end_read_request() -> raid_end_bio_io()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | r1_bio | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->mddev | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->mddev->private | 4096-ptr_max |
| BUF_SIZE | 0 | r1_bio | (-1)-s32max |
| BUF_SIZE | 0 | r1_bio | (-1)-s32max |
| STR_LEN | 0 | r1_bio | (-1),8,11-12,14,17,19-20,23,26-27,29,31-32 |
| STR_LEN | 0 | r1_bio | (-1),8,11-12,14,17,19-20,23,26-27,29,31-32 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/raid1.c raid1_read_request() -> raid_end_bio_io()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | r1_bio | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->bios | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->mddev | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->state | 0 |
| DATA_SOURCE | 0 | r1_bio | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/raid1.c raid1_read_request() -> raid_end_bio_io()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | r1_bio | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->bios | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->master_bio | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->mddev | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->state | 0 |
| BUF_SIZE | 0 | r1_bio->master_bio | (-1)-0,4,24,32,64,144-s32max |
| BUF_SIZE | 0 | r1_bio->mddev | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | r1_bio | $3 [m] |
| NOSPEC | 0 | r1_bio->master_bio->bi_iter.bi_sector | |
| NOSPEC | 0 | r1_bio->master_bio->bi_iter.bi_size | |
| NOSPEC | 0 | r1_bio->sector | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | r1_bio->master_bio->bi_iter.bi_sector | 0-u64max |
| HOST_DATA | 0 | r1_bio->master_bio->bi_iter.bi_size | 512-4294966272[c] |
| HOST_DATA | 0 | r1_bio->master_bio->bi_max_vecs | 0-4,16,64,128,256[c] |
| HOST_DATA | 0 | r1_bio->sector | 0-u64max |
| USER_DATA | 0 | r1_bio->master_bio->bi_ioprio | 0-u16max |
| USER_DATA | 0 | r1_bio->master_bio->bi_iter.bi_sector | 0-u64max |
| USER_DATA | 0 | r1_bio->master_bio->bi_iter.bi_size | 512-4294966272 |
| USER_DATA | 0 | r1_bio->master_bio->bi_max_vecs | 0-4,16,64,128,256[c] |
| USER_DATA | 0 | r1_bio->sector | 0-u64max |
drivers/md/raid1.c raid1_read_request() -> raid_end_bio_io()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | r1_bio | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->bios | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->master_bio | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->mddev | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->state | 0 |
| BUF_SIZE | 0 | r1_bio->master_bio | (-1)-0,4,24,32,64,144-s32max |
| BUF_SIZE | 0 | r1_bio->mddev | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | r1_bio | $3 [m] |
| NOSPEC | 0 | r1_bio->master_bio->bi_iter.bi_sector | |
| NOSPEC | 0 | r1_bio->master_bio->bi_iter.bi_size | |
| NOSPEC | 0 | r1_bio->sector | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | r1_bio->master_bio->bi_iter.bi_sector | 0-u64max |
| HOST_DATA | 0 | r1_bio->master_bio->bi_iter.bi_size | 512-4294966272[c] |
| HOST_DATA | 0 | r1_bio->master_bio->bi_max_vecs | 0-4,16,64,128,256[c] |
| HOST_DATA | 0 | r1_bio->sector | 0-u64max |
| USER_DATA | 0 | r1_bio->master_bio->bi_ioprio | 0-u16max |
| USER_DATA | 0 | r1_bio->master_bio->bi_iter.bi_sector | 0-u64max |
| USER_DATA | 0 | r1_bio->master_bio->bi_iter.bi_size | 512-4294966272 |
| USER_DATA | 0 | r1_bio->master_bio->bi_max_vecs | 0-4,16,64,128,256[c] |
| USER_DATA | 0 | r1_bio->sector | 0-u64max |
drivers/md/raid1.c raid1d() -> raid_end_bio_io()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | r1_bio | 4096-ptr_max |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/raid10.c handle_write_completed() -> raid_end_bio_io()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | r1_bio | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->mddev | 4096-ptr_max |
| DATA_SOURCE | 0 | r1_bio | $1 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/raid10.c one_write_done() -> raid_end_bio_io()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | r1_bio | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->devs | 0,4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->mddev | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->mddev->private | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->mddev->safemode_timer.entry->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->mddev->writes_pending.data | 0,4096-ptr_max |
| BUF_SIZE | 0 | r1_bio | (-1)-s32max |
| BUF_SIZE | 0 | r1_bio | (-1)-s32max |
| BUF_SIZE | 0 | r1_bio->mddev | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | r1_bio | $0 |
| STR_LEN | 0 | r1_bio | (-1),8,11-12,14,17,19-20,23,26-27,29,31-32 |
| STR_LEN | 0 | r1_bio | (-1),8,11-12,14,17,19-20,23,26-27,29,31-32 |
| STR_LEN | 0 | r1_bio->master_bio->bi_private | (-1) |
| NOSPEC | 0 | r1_bio->sector | |
| NOSPEC | 0 | r1_bio->sectors | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | r1_bio->sector | 0[c] |
| HOST_DATA | 0 | r1_bio->sectors | 0-s32max[c] |
| USER_DATA | 0 | r1_bio->master_bio->bi_ioprio | 0-u16max |
| USER_DATA | 0 | r1_bio->sector | 0[c] |
| USER_DATA | 0 | r1_bio->sectors | 0-s32max[c] |
drivers/md/raid10.c raid10_end_read_request() -> raid_end_bio_io()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | r1_bio | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->devs | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->mddev | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->mddev->private | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->mddev->private->mirrors | 4096-ptr_max |
| BUF_SIZE | 0 | r1_bio | (-1)-s32max |
| BUF_SIZE | 0 | r1_bio | (-1)-s32max |
| STR_LEN | 0 | r1_bio | (-1),8,11-12,14,17,19-20,23,26-27,29,31-32 |
| STR_LEN | 0 | r1_bio | (-1),8,11-12,14,17,19-20,23,26-27,29,31-32 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/md/raid10.c raid10_read_request() -> raid_end_bio_io()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | r1_bio | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->mddev | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->state | 0 |
| BUF_SIZE | 0 | r1_bio->master_bio | (-1)-0,4,24,32,64,144-s32max |
| BUF_SIZE | 0 | r1_bio->mddev | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | r1_bio | $2 |
| STR_LEN | 0 | r1_bio->master_bio->bi_private | (-1) |
| NOSPEC | 0 | r1_bio->master_bio->bi_iter.bi_sector | |
| NOSPEC | 0 | r1_bio->master_bio->bi_iter.bi_size | |
| NOSPEC | 0 | r1_bio->sector | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | r1_bio->master_bio->bi_iter.bi_sector | 0-u64max |
| HOST_DATA | 0 | r1_bio->master_bio->bi_iter.bi_size | 0-u32max[c] |
| HOST_DATA | 0 | r1_bio->master_bio->bi_max_vecs | 0-4,16,64,128,256[c] |
| HOST_DATA | 0 | r1_bio->sector | 0-u64max |
| USER_DATA | 0 | r1_bio->master_bio->bi_ioprio | 0-u16max |
| USER_DATA | 0 | r1_bio->master_bio->bi_iter.bi_sector | 0-u64max |
| USER_DATA | 0 | r1_bio->master_bio->bi_iter.bi_size | 0-u32max |
| USER_DATA | 0 | r1_bio->master_bio->bi_max_vecs | 0-4,16,64,128,256[c] |
| USER_DATA | 0 | r1_bio->sector | 0-u64max |
drivers/md/raid10.c raid10_read_request() -> raid_end_bio_io()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | r1_bio | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->mddev | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->read_slot | 0-s32max |
| PARAM_VALUE | 0 | r1_bio->state | 0 |
| BUF_SIZE | 0 | r1_bio->master_bio | (-1)-0,4,24,32,64,144-s32max |
| BUF_SIZE | 0 | r1_bio->mddev | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | r1_bio | $2 |
| STR_LEN | 0 | r1_bio->master_bio->bi_private | (-1) |
| NOSPEC | 0 | r1_bio->master_bio->bi_iter.bi_sector | |
| NOSPEC | 0 | r1_bio->master_bio->bi_iter.bi_size | |
| NOSPEC | 0 | r1_bio->sector | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | r1_bio->master_bio->bi_iter.bi_sector | 0-u64max |
| HOST_DATA | 0 | r1_bio->master_bio->bi_iter.bi_size | 0-u32max[c] |
| HOST_DATA | 0 | r1_bio->master_bio->bi_max_vecs | 0-4,16,64,128,256[c] |
| HOST_DATA | 0 | r1_bio->sector | 0-u64max |
| USER_DATA | 0 | r1_bio->master_bio->bi_ioprio | 0-u16max |
| USER_DATA | 0 | r1_bio->master_bio->bi_iter.bi_sector | 0-u64max |
| USER_DATA | 0 | r1_bio->master_bio->bi_iter.bi_size | 0-u32max |
| USER_DATA | 0 | r1_bio->master_bio->bi_max_vecs | 0-4,16,64,128,256[c] |
| USER_DATA | 0 | r1_bio->sector | 0-u64max |
drivers/md/raid10.c raid10_write_request() -> raid_end_bio_io()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | r1_bio | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->devs | 0 |
| PARAM_VALUE | 0 | r1_bio->master_bio | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->master_bio->bi_end_io | 57454840631967744,3905977605003870208 |
| PARAM_VALUE | 0 | r1_bio->mddev | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->mddev->active_io.percpu_count_ptr | 1-u64max |
| PARAM_VALUE | 0 | r1_bio->mddev->pers | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->mddev->private | 4096-ptr_max |
| PARAM_VALUE | 0 | r1_bio->read_slot | (-1) |
| PARAM_VALUE | 0 | r1_bio->state | 0 |
| BUF_SIZE | 0 | r1_bio->master_bio | (-1)-0,4,24,32,64,144-s32max |
| BUF_SIZE | 0 | r1_bio->mddev | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | r1_bio->sectors | 1 |
| DATA_SOURCE | 0 | r1_bio | $2 |
| STR_LEN | 0 | r1_bio->master_bio->bi_private | (-1) |
| NOSPEC | 0 | r1_bio->master_bio->bi_iter.bi_sector | |
| NOSPEC | 0 | r1_bio->master_bio->bi_iter.bi_size | |
| NOSPEC | 0 | r1_bio->sector | |
| MEM_ZERO | 0 | r1_bio->devs | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | r1_bio->master_bio->bi_iter.bi_sector | 0-u64max |
| HOST_DATA | 0 | r1_bio->master_bio->bi_iter.bi_size | 0-u32max[c] |
| HOST_DATA | 0 | r1_bio->master_bio->bi_max_vecs | 0-4,16,64,128,256[c] |
| HOST_DATA | 0 | r1_bio->sector | 0-u64max |
| USER_DATA | 0 | r1_bio->master_bio->bi_ioprio | 0-u16max |
| USER_DATA | 0 | r1_bio->master_bio->bi_iter.bi_sector | 0-u64max |
| USER_DATA | 0 | r1_bio->master_bio->bi_iter.bi_size | 0-u32max |
| USER_DATA | 0 | r1_bio->master_bio->bi_max_vecs | 0-4,16,64,128,256[c] |
| USER_DATA | 0 | r1_bio->sector | 0-u64max |
| HALF_LOCKED2 | &bio->bi_bdev->bd_queue->queue_lock | ||
| HALF_LOCKED2 | &md->io_barrier |
drivers/md/raid10.c raid10d() -> raid_end_bio_io()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | r1_bio | 4096-ptr_max |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |