Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/raid5.c handle_stripe() -> handle_stripe_clean_event()

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