Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/raid5.c handle_stripe() -> handle_failed_sync()
| 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 |
| PARAM_VALUE | 1 | sh->check_state | 0 |
| 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 |
| PARAM_VALUE | 1 | sh->stripe_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | s | 930397504698331136 |
| PARAM_VALUE | 2 | s->compute | 0-2 |
| PARAM_VALUE | 2 | s->expanded | 0-1 |
| PARAM_VALUE | 2 | s->expanding | 0-1 |
| PARAM_VALUE | 2 | s->failed | 0-s32max |
| PARAM_VALUE | 2 | s->injournal | 0-s32max |
| PARAM_VALUE | 2 | s->just_cached | 0-s32max |
| PARAM_VALUE | 2 | s->locked | 0-s32max |
| PARAM_VALUE | 2 | s->log_failed | 0-1 |
| PARAM_VALUE | 2 | s->non_overwrite | 0-s32max |
| PARAM_VALUE | 2 | s->p_failed | 0 |
| PARAM_VALUE | 2 | s->q_failed | 0 |
| PARAM_VALUE | 2 | s->replacing | 0-1 |
| PARAM_VALUE | 2 | s->syncing | 0-1 |
| PARAM_VALUE | 2 | s->to_fill | 0-s32max |
| PARAM_VALUE | 2 | s->to_write | 0-s32max |
| PARAM_VALUE | 2 | s->uptodate | 0-s32max |
| PARAM_VALUE | 2 | s->written | 0-s32max |
| CAPPED_DATA | 0 | conf->max_degraded | 1 |
| CAPPED_DATA | 1 | sh | 1 |
| CAPPED_DATA | 1 | sh->disks | 1 |
| DATA_SOURCE | 1 | sh | $0 |
| MEM_ZERO | 2 | s | |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | sh | unit_jiffy |