Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/md/dm-vdo/slab-depot.c vdo_load_slab_depot() -> vdo_schedule_operation_with_context()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | operation | 584245606975148032,1474528484327456768,4049580174657740800,7943073819466092544 |
| PARAM_VALUE | 1 | operation->loading | 1 |
| PARAM_VALUE | 4 | conclusion | 0 |
| PARAM_VALUE | 5 | context | 0,4096-ptr_max |
| PARAM_VALUE | 6 | parent | 4096-ptr_max |
| PARAM_VALUE | 6 | parent->vdo | 4096-ptr_max |
| PARAM_VALUE | 6 | parent->vdo->hash_zones->changing | 0-1 |
| PARAM_VALUE | 6 | parent->vdo->hash_zones->create_flag | 0-1 |
| PARAM_VALUE | 6 | parent->vdo->hash_zones->dedupe_flag | 0-1 |
| PARAM_VALUE | 6 | parent->vdo->hash_zones->index_target | 0-4294967295 |
| PARAM_VALUE | 6 | parent->vdo->hash_zones->zone_count | 0-255 |
| BUF_SIZE | 6 | parent | (-1),4,8-s32max |
| BUF_SIZE | 6 | parent | (-1),4,8-s32max |
| BUF_SIZE | 6 | parent->parent | (-1),8-s32max |
| DATA_SOURCE | 1 | operation | $1 |
| DATA_SOURCE | 5 | context | $3 |
| DATA_SOURCE | 6 | parent | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 6 | parent->vdo->geometry.index_config.mem | |
| NO_OVERFLOW_SIMPLE | 6 | parent->vdo->states.vdo.config.physical_blocks | |
| NO_OVERFLOW_SIMPLE | 6 | parent->vdo->thread_config.bio_thread_count | |
| NO_OVERFLOW_SIMPLE | 6 | parent->vdo->thread_config.hash_zone_count | |
| NO_OVERFLOW_SIMPLE | 6 | parent->vdo->thread_config.logical_zone_count | |
| NO_OVERFLOW_SIMPLE | 6 | parent->vdo->thread_config.physical_zone_count | |
| NO_OVERFLOW_SIMPLE | 6 | parent->vdo->thread_config.thread_count |
drivers/md/dm-vdo/action-manager.c vdo_schedule_operation() -> vdo_schedule_operation_with_context()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 4 | conclusion | 0,6996800108203888640 |
| PARAM_VALUE | 5 | context | 0 |
| PARAM_VALUE | 6 | parent | 0,4096-ptr_max |
| PARAM_VALUE | 6 | parent->vdo | 4096-ptr_max |
| BUF_SIZE | 6 | parent | (-1),4,8-s32max |
| BUF_SIZE | 6 | parent | (-1),4,8-s32max |
| BUF_SIZE | 6 | parent->parent | (-1),8-s32max |
| DATA_SOURCE | 0 | manager | $0 |
| DATA_SOURCE | 1 | operation | $1 |
| DATA_SOURCE | 2 | preamble | $2 |
| DATA_SOURCE | 3 | action | $3 |
| DATA_SOURCE | 4 | conclusion | $4 |
| DATA_SOURCE | 6 | parent | $5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 6 | parent->vdo->geometry.index_config.mem | |
| NO_OVERFLOW_SIMPLE | 6 | parent->vdo->states.vdo.config.physical_blocks | |
| NO_OVERFLOW_SIMPLE | 6 | parent->vdo->thread_config.bio_thread_count | |
| NO_OVERFLOW_SIMPLE | 6 | parent->vdo->thread_config.hash_zone_count | |
| NO_OVERFLOW_SIMPLE | 6 | parent->vdo->thread_config.logical_zone_count | |
| NO_OVERFLOW_SIMPLE | 6 | parent->vdo->thread_config.physical_zone_count | |
| NO_OVERFLOW_SIMPLE | 6 | parent->vdo->thread_config.thread_count |