Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-ioctl.c dev_create() -> __dev_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | md | 4096-ptr_max |
| PARAM_VALUE | 0 | md->event_nr.counter | 0 |
| PARAM_VALUE | 0 | md->ima.measure_idx | 0 |
| PARAM_VALUE | 0 | md->ima.update_idx | 0 |
| PARAM_VALUE | 0 | md->init_tio_pdu | 0 |
| PARAM_VALUE | 0 | md->interface_ptr | 4096-ptr_max |
| PARAM_VALUE | 0 | md->kobj_holder.completion.done | 0 |
| PARAM_VALUE | 0 | md->open_count.counter | 0 |
| PARAM_VALUE | 0 | md->requeue_list | 0 |
| PARAM_VALUE | 0 | md->stats.precise_timestamps | 0 |
| PARAM_VALUE | 0 | md->suspend_lock.first_waiter | 0 |
| PARAM_VALUE | 0 | md->suspend_lock.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | md->suspend_lock.owner.counter | 0 |
| PARAM_VALUE | 0 | md->swap_bios | 1-s32max |
| PARAM_VALUE | 0 | md->swap_bios_lock.first_waiter | 0 |
| PARAM_VALUE | 0 | md->swap_bios_lock.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | md->swap_bios_lock.owner.counter | 0 |
| PARAM_VALUE | 0 | md->table_devices_lock.first_waiter | 0 |
| PARAM_VALUE | 0 | md->table_devices_lock.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | md->table_devices_lock.owner.counter | 0 |
| PARAM_VALUE | 0 | md->type | 0 |
| PARAM_VALUE | 0 | md->type_lock.first_waiter | 0 |
| PARAM_VALUE | 0 | md->type_lock.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | md->type_lock.owner.counter | 0 |
| PARAM_VALUE | 0 | md->uevent_seq.counter | 0 |
| PARAM_VALUE | 1 | param | 4096-ptr_max |
| PARAM_VALUE | 1 | param->name | 1-u64max |
| PARAM_VALUE | 1 | param->uuid | 4096-ptr_max |
| DATA_SOURCE | 1 | param | $1 |
| BIT_INFO | 1 | param->flags | 0x0,0xffffffbf |
| NOCHECK_CALL |
drivers/md/dm-ioctl.c dev_rename() -> __dev_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | md | 4096-ptr_max |
| PARAM_VALUE | 0 | md->disk | 4096-ptr_max |
| PARAM_VALUE | 0 | md->io_barrier.srcu_ctrp | 4096-ptr_max |
| PARAM_VALUE | 1 | param | 4096-ptr_max |
| PARAM_VALUE | 1 | param->flags | 0,8192-u32max |
| CAPPED_DATA | 1 | param->data | 1 |
| DATA_SOURCE | 0 | md | r dm_hash_rename |
| DATA_SOURCE | 1 | param | $1 |
| NOCHECK_CALL |
drivers/md/dm-ioctl.c dev_status() -> __dev_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | md | 1-u64max |
| PARAM_VALUE | 1 | param | 4096-ptr_max |
| PARAM_VALUE | 1 | *param->name | 0-255 |
| DATA_SOURCE | 0 | md | r find_device |
| DATA_SOURCE | 1 | param | $1 |
| NOCHECK_CALL |
drivers/md/dm-ioctl.c dev_wait() -> __dev_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | md | 4096-ptr_max |
| PARAM_VALUE | 1 | param | 4096-ptr_max |
| PARAM_VALUE | 1 | *param->name | 0-255 |
| DATA_SOURCE | 0 | md | r find_device |
| DATA_SOURCE | 1 | param | $1 |
| NOCHECK_CALL |
drivers/md/dm-ioctl.c do_resume() -> __dev_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | md | 4096-ptr_max |
| PARAM_VALUE | 0 | *md->queue->crypto_profile->modes_supported | 0-4294967295 |
| PARAM_VALUE | 1 | param | 4096-ptr_max |
| DATA_SOURCE | 1 | param | $0 |
| BIT_INFO | 1 | param->flags | 0x0,0xffffffbf |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | md->queue->limits.max_hw_discard_sectors |
drivers/md/dm-ioctl.c do_suspend() -> __dev_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | md | 4096-ptr_max |
| PARAM_VALUE | 1 | param | 4096-ptr_max |
| PARAM_VALUE | 1 | *param->name | 0-255 |
| DATA_SOURCE | 0 | md | r find_device |
| DATA_SOURCE | 1 | param | $0 |
| BIT_INFO | 1 | param->flags | 0x0,0xffffffff |
| NOCHECK_CALL |
drivers/md/dm-ioctl.c table_clear() -> __dev_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | param | 4096-ptr_max |
| DATA_SOURCE | 1 | param | $1 |
| BIT_INFO | 1 | param->flags | 0x0,0xffffffbf |
| NOCHECK_CALL |
drivers/md/dm-ioctl.c table_deps() -> __dev_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | md | 1-u64max |
| PARAM_VALUE | 1 | param | 4096-ptr_max |
| PARAM_VALUE | 1 | *param->name | 0-255 |
| DATA_SOURCE | 0 | md | r find_device |
| DATA_SOURCE | 1 | param | $1 |
| NOCHECK_CALL |
drivers/md/dm-ioctl.c table_load() -> __dev_status()
| 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 | 0 | md->queue | 0,4096-ptr_max |
| PARAM_VALUE | 0 | md->type_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->type_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | md->type_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | md->type_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | md->type_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | md->type_lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | md->type_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | param | 4096-ptr_max |
| PARAM_VALUE | 1 | param->flags | 0,64-u32max |
| PARAM_VALUE | 1 | param->target_count | 1-1048576 |
| PARAM_VALUE | 1 | *param->name | 0-255 |
| CAPPED_DATA | 0 | md->io_barrier.srcu_ctrp | 1 |
| CAPPED_DATA | 1 | param->target_count | 1 |
| DATA_SOURCE | 0 | md | r find_device |
| DATA_SOURCE | 1 | param | $1 |
| BIT_INFO | 1 | param->flags | 0x40,0xffffffff |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | param->target_count |
drivers/md/dm-ioctl.c table_status() -> __dev_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | md | 1-u64max |
| PARAM_VALUE | 1 | param | 4096-ptr_max |
| PARAM_VALUE | 1 | *param->name | 0-255 |
| DATA_SOURCE | 0 | md | r find_device |
| DATA_SOURCE | 1 | param | $1 |
| NOCHECK_CALL |
drivers/md/dm-ioctl.c target_message() -> __dev_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | md | 1-u64max |
| 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->name | 0-255 |
| CAPPED_DATA | 0 | md->io_barrier.srcu_ctrp | 1 |
| CAPPED_DATA | 1 | param->data | 1 |
| DATA_SOURCE | 0 | md | r find_device |
| DATA_SOURCE | 1 | param | $1 |
| NOCHECK_CALL |