Open Menu /

Defined in 1 files as a variable:

Defined in 2 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/md/raid1.c handle_sync_write_finished() -> put_buf()

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 put_sync_write_buf() -> put_buf()

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 $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/raid1.c raid1_sync_request() -> put_buf()

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 0
PARAM_VALUE 0 r1_bio->mddev 4096-ptr_max
PARAM_VALUE 0 r1_bio->mddev->private 4096-ptr_max
PARAM_VALUE 0 r1_bio->read_disk (-1)
PARAM_VALUE 0 r1_bio->sector 0-18446744073709551614
PARAM_VALUE 0 r1_bio->state 0
CAPPED_DATA 0 r1_bio->sector 1
DATA_SOURCE 0 r1_bio r raid1_alloc_init_r1buf
NOCHECK_CALL

drivers/md/raid1.c raid1_sync_request() -> put_buf()

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 0
PARAM_VALUE 0 r1_bio->mddev 4096-ptr_max
PARAM_VALUE 0 r1_bio->mddev->private 4096-ptr_max
PARAM_VALUE 0 r1_bio->read_disk (-1)-s32max
PARAM_VALUE 0 r1_bio->sector 0-18446744073709551614
PARAM_VALUE 0 r1_bio->state 0
CAPPED_DATA 0 r1_bio->read_disk 1
CAPPED_DATA 0 r1_bio->sector 1
DATA_SOURCE 0 r1_bio r raid1_alloc_init_r1buf
FUZZY_MAX 0 r1_bio->read_disk 0
NOCHECK_CALL

drivers/md/raid1.c sync_request_write() -> put_buf()

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
PARAM_VALUE 0 r1_bio->mddev->private->mirrors 4096-ptr_max
DATA_SOURCE 0 r1_bio $1
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/raid10.c end_reshape_request() -> put_buf()

Type Parameter Key Value
PARAM_VALUE 0 r1_bio 4096-ptr_max
PARAM_VALUE 0 r1_bio->master_bio 4096-ptr_max
PARAM_VALUE 0 r1_bio->mddev 4096-ptr_max
DATA_SOURCE 0 r1_bio $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/raid10.c end_sync_request() -> put_buf()

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->master_bio 0
DATA_SOURCE 0 r1_bio $0 [m]
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/raid10.c end_sync_request() -> put_buf()

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->master_bio 1-u64max
DATA_SOURCE 0 r1_bio $0 [m]
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/raid10.c handle_write_completed() -> put_buf()

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 raid10_sync_request() -> put_buf()

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->master_bio 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->resync_max_sectors 1-u64max
PARAM_VALUE 0 r1_bio->remaining.counter 0
PARAM_VALUE 0 r1_bio->sector 0-18446744073709551614
PARAM_VALUE 0 r1_bio->state 0
CAPPED_DATA 0 r1_bio->mddev->resync_max 1
CAPPED_DATA 0 r1_bio->sector 1
DATA_SOURCE 0 r1_bio r raid10_alloc_init_r10buf
NOCHECK_CALL

drivers/md/raid10.c sync_request_write() -> put_buf()

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