Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/raid5.c do_release_stripe() -> raid5_wakeup_stripe_thread()

Type Parameter Key Value
PARAM_VALUE 0 sh 4096-ptr_max
PARAM_VALUE 0 sh->lru.next 4096-ptr_max
BUF_SIZE 0 sh->raid_conf (-1),1216,1600,2712
CAPPED_DATA 0 sh 1
CAPPED_DATA 0 &sh->lru 1
DATA_SOURCE 0 sh $1
STR_LEN 0 sh (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
STR_LEN 0 sh (-1),8,11-12,14,17,19-20,23,26-27,29,31-32
PARAM_COMPARE 0 &sh->lru == $0->lru.next
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 sh->raid_conf->min_nr_stripes 17-32768
USER_DATA 0 sh->raid_conf->scribble_sectors (-2147483647)-0,8-s32max[c]
NO_OVERFLOW_SIMPLE 0 sh->raid_conf->bio_split.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 sh->raid_conf->bio_split.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 sh->raid_conf->pool_size
UNITS 0 sh unit_byte
LOCK2 &conf->device_lock
HALF_LOCKED2 irq
TYPE_LOCK (struct r5conf)->device_lock

drivers/md/raid5.c raid5_activate_delayed() -> raid5_wakeup_stripe_thread()

Type Parameter Key Value
PARAM_VALUE 0 sh 4096-ptr_max
PARAM_VALUE 0 sh->lru.next 4096-ptr_max
PREEMPT_ADD
NOCHECK_CALL
LOCK2 &conf->device_lock
LOCK2 irq
TYPE_LOCK (struct r5conf)->device_lock