Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-raid1.c mirror_end_io() -> fail_mirror()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 0 m->dev 4096-ptr_max
PARAM_VALUE 1 error_type 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &bio->bi_bdev->bd_queue->queue_lock

drivers/md/dm-raid1.c mirror_flush() -> fail_mirror()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 1 error_type 1
NOCHECK_CALL
HALF_LOCKED2 &md->suspend_lock
HALF_LOCKED2 &pool->lock

drivers/md/dm-raid1.c read_callback() -> fail_mirror()

Type Parameter Key Value
PARAM_VALUE 1 error_type 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 m unit_jiffy

drivers/md/dm-raid1.c recovery_complete() -> fail_mirror()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 1 error_type 2
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/md/dm-raid1.c recovery_complete() -> fail_mirror()

Type Parameter Key Value
PARAM_VALUE 1 error_type 2
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/md/dm-raid1.c write_callback() -> fail_mirror()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 1 error_type 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL