Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/raid5.c log_stripe_write_finished() -> ppl_stripe_write_finished()

Type Parameter Key Value
PARAM_VALUE 0 sh 4096-ptr_max
PARAM_VALUE 0 sh->batch_head 0,4096-ptr_max
PARAM_VALUE 0 sh->dev 4096-ptr_max
PARAM_VALUE 0 sh->log_io->state s32min-s32max
PARAM_VALUE 0 sh->raid_conf 4096-ptr_max
PARAM_VALUE 0 sh->raid_conf->log 0
PARAM_VALUE 0 sh->raid_conf->mddev 4096-ptr_max
PARAM_VALUE 0 sh->reconstruct_state 0-3,6-u32max
CAPPED_DATA 0 sh 1
DATA_SOURCE 0 sh $0
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sh unit_jiffy