Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-ioctl.c dev_wait() -> dm_get_live_or_inactive_table()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | md | 4096-ptr_max |
| PARAM_VALUE | 0 | md->io_barrier.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->io_barrier.srcu_ctrp | 4096-ptr_max |
| PARAM_VALUE | 1 | param | 4096-ptr_max |
| PARAM_VALUE | 1 | param->dev | 0-u32max |
| PARAM_VALUE | 1 | *param->name | 0-255 |
| PARAM_VALUE | 2 | srcu_idx | 3394825023756513280 |
| CAPPED_DATA | 0 | md->io_barrier.srcu_ctrp | 1 |
| DATA_SOURCE | 0 | md | r find_device |
| DATA_SOURCE | 1 | param | $1 |
drivers/md/dm-ioctl.c table_deps() -> dm_get_live_or_inactive_table()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | md | 4096-ptr_max |
| PARAM_VALUE | 0 | md->io_barrier.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->io_barrier.srcu_ctrp | 4096-ptr_max |
| PARAM_VALUE | 1 | param | 4096-ptr_max |
| PARAM_VALUE | 1 | param->dev | 0-u32max |
| PARAM_VALUE | 1 | *param->name | 0-255 |
| PARAM_VALUE | 2 | srcu_idx | 6735391692417798144 |
| CAPPED_DATA | 0 | md->io_barrier.srcu_ctrp | 1 |
| DATA_SOURCE | 0 | md | r find_device |
| DATA_SOURCE | 1 | param | $1 |
drivers/md/dm-ioctl.c table_status() -> dm_get_live_or_inactive_table()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | md | 4096-ptr_max |
| PARAM_VALUE | 0 | md->io_barrier.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->io_barrier.srcu_ctrp | 4096-ptr_max |
| PARAM_VALUE | 1 | param | 4096-ptr_max |
| PARAM_VALUE | 1 | param->dev | 0-u32max |
| PARAM_VALUE | 1 | *param->name | 0-255 |
| PARAM_VALUE | 2 | srcu_idx | 7621494286133981184 |
| CAPPED_DATA | 0 | md->io_barrier.srcu_ctrp | 1 |
| DATA_SOURCE | 0 | md | r find_device |
| DATA_SOURCE | 1 | param | $1 |