Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 27 files:
- arch/um/drivers/virtio_pcidev.c
- drivers/block/virtio_blk.c
- drivers/bluetooth/virtio_bt.c, line 416
- drivers/char/hw_random/virtio-rng.c, line 207
- drivers/char/virtio_console.c
- drivers/crypto/virtio/virtio_crypto_core.c
- drivers/firmware/arm_scmi/transports/virtio.c
- drivers/gpio/gpio-virtio.c, line 448
- drivers/gpu/drm/virtio/virtgpu_kms.c
- drivers/i2c/busses/i2c-virtio.c, line 169
- drivers/iommu/virtio-iommu.c, line 1261
- drivers/net/can/virtio_can.c, line 799
- drivers/net/virtio_net.c
- drivers/net/wireless/virtual/mac80211_hwsim_main.c, line 7420
- drivers/nvdimm/virtio_pmem.c
- drivers/rpmsg/virtio_rpmsg_bus.c, line 971
- drivers/scsi/virtio_scsi.c, line 838
- drivers/spi/spi-virtio.c, line 328
- drivers/virtio/virtio.c
- drivers/virtio/virtio_balloon.c, line 1112
- drivers/virtio/virtio_input.c
- drivers/virtio/virtio_mem.c
- drivers/virtio/virtio_rtc_driver.c
- fs/fuse/virtio_fs.c
- net/9p/trans_virtio.c, line 763
- net/vmw_vsock/virtio_transport.c, line 782
- sound/virtio/virtio_card.c
Smatch caller information:
net/9p/trans_virtio.c p9_virtio_remove() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | dev->config_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex |
drivers/net/wireless/virtual/mac80211_hwsim_main.c remove_vqs() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | dev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->set_status | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex |
drivers/char/hw_random/virtio-rng.c remove_common() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | dev->config_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->failed | 0-1 |
| HALF_LOCKED2 | &_d->mutex |
drivers/net/can/virtio_can.c virtio_can_del_vq() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | dev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->failed | 0-1 |
| HALF_LOCKED2 | &_d->mutex |
drivers/iommu/virtio-iommu.c viommu_remove() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | dev->config_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex |
drivers/nvdimm/virtio_pmem.c virtio_pmem_freeze() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | dev->config_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->failed | 0-1 |
drivers/nvdimm/virtio_pmem.c virtio_pmem_probe() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | dev->config->get_shm_region | 0,2525218589895086080,3831783894439149568 |
| PARAM_VALUE | 0 | dev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->debugfs_filter_features | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->features_array | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->priv | 4096-ptr_max |
| BUF_SIZE | 0 | dev->priv | 392 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/nvdimm/virtio_pmem.c virtio_pmem_remove() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | dev->config_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex |
drivers/virtio/virtio_mem.c virtio_mem_freeze() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | dev->config_lock.rlock.dep_map->name | 0-255 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->failed | 0-1 |
drivers/virtio/virtio_mem.c virtio_mem_remove() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | dev->config_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex |
drivers/firmware/arm_scmi/transports/virtio.c scmi_vio_probe() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | dev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->debugfs_filter_features | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->features_array | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->priv | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->vqs.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->vqs.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->vqs_list_lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | dev->priv | 376-752 |
| CAPPED_DATA | 0 | &dev->dev | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/firmware/arm_scmi/transports/virtio.c scmi_vio_remove() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | dev->config_lock.rlock.dep_map->name | 0-255 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex |
drivers/gpio/gpio-virtio.c virtio_gpio_free_vqs() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | dev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->priv | 4096-ptr_max |
| BUF_SIZE | 0 | dev->priv | (-1),928 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex |
drivers/scsi/virtio_scsi.c virtscsi_remove_vqs() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | dev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->set_status | 4096-ptr_max |
| BUF_SIZE | 0 | dev->priv | (-1),4600-s32max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->failed | 0-1 |
| HALF_LOCKED2 | &_d->mutex |
drivers/virtio/virtio_rtc_driver.c __viortc_remove() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex |
drivers/virtio/virtio_rtc_driver.c viortc_probe() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | dev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->debugfs_filter_features | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->features_array | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->priv | 4096-ptr_max |
| BUF_SIZE | 0 | dev->priv | 200 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/vmw_vsock/virtio_transport.c virtio_vsock_vqs_del() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &the_virtio_vsock_mutex | ||
| HALF_LOCKED2 | &_d->mutex |
drivers/crypto/virtio/virtio_crypto_core.c virtcrypto_freeze() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | dev->config_lock.rlock.dep_map->name | 0-255 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->failed | 0-1 |
drivers/crypto/virtio/virtio_crypto_core.c virtcrypto_probe() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | dev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->debugfs_filter_features | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->features_array | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->priv | 4096-ptr_max |
| BUF_SIZE | 0 | dev->priv | 280 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/crypto/virtio/virtio_crypto_core.c virtcrypto_remove() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | dev->config_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex |
drivers/crypto/virtio/virtio_crypto_core.c virtcrypto_restore() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/virtio/virtio_balloon.c remove_common() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->set | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex |
drivers/bluetooth/virtio_bt.c virtbt_probe() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | dev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->debugfs_filter_features | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->features_array | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->priv | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->vqs.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->vqs.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->vqs_list_lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | dev->priv | 112 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/bluetooth/virtio_bt.c virtbt_remove() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | dev->config_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex |
drivers/gpu/drm/virtio/virtgpu_kms.c virtio_gpu_deinit() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex |
drivers/gpu/drm/virtio/virtgpu_kms.c virtio_gpu_init() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get_shm_region | 0,2525218589895086080,3831783894439149568 |
| PARAM_VALUE | 0 | dev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.parent | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->priv | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->vqs.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->vqs.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->vqs_list_lock.rlock.dep_map->name | 0-255 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/fuse/virtio_fs.c virtio_fs_probe() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | dev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->debugfs_filter_features | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->features_array | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->priv | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->vqs.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->vqs.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->vqs_list_lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | dev->priv | 336 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/fuse/virtio_fs.c virtio_fs_remove() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | dev->config_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &virtio_fs_mutex | ||
| HALF_LOCKED2 | &_d->mutex |
drivers/char/virtio_console.c virtcons_freeze() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | dev->config_lock.rlock.dep_map->name | 0-255 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->failed | 0-1 |
drivers/char/virtio_console.c virtcons_remove() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | dev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->priv | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->vqs_list_lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | dev->priv | (-1),472 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/rpmsg/virtio_rpmsg_bus.c rpmsg_remove() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | dev->config_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex |
sound/virtio/virtio_card.c virtsnd_freeze() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | dev->config_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->failed | 0-1 |
sound/virtio/virtio_card.c virtsnd_remove() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | dev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->priv | 4096-ptr_max |
| BUF_SIZE | 0 | dev->priv | (-1),448 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/block/virtio_blk.c virtblk_freeze_priv() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | dev->config_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->failed | 0-1 |
drivers/block/virtio_blk.c virtblk_remove() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | dev->config_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &vblk->vdev_mutex | ||
| HALF_LOCKED2 | &_d->mutex | ||
| TYPE_LOCK | (struct virtio_blk)->vdev_mutex |
drivers/virtio/virtio.c register_virtio_device() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config | 322963117447450624,7253729138368471040,8526350393422139392,9032641338183921664 |
| PARAM_VALUE | 0 | dev->config_change_pending | 0 |
| PARAM_VALUE | 0 | dev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | dev->config_driver_disabled | 0 |
| PARAM_VALUE | 0 | dev->dev.bus | 7806270181018554368 |
| PARAM_VALUE | 0 | dev->dev.devres_head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem | 1473117533515866112 |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->defpool.nareas | 0-s32max |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->dyn_alloc.data.counter | 0,9007199250546704 |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->pools.next | 0 |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_mem->pools.prev | 0,1473117533515866408 |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_pools.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_pools.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_pools.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.dma_io_tlb_pools.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.dma_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.dma_pools.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.dma_pools.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.dma_pools.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.dma_pools.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.dma_uses_io_tlb | 0 |
| PARAM_VALUE | 0 | dev->dev.flags | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.kobj->name | 0-255 |
| PARAM_VALUE | 0 | dev->dev.kobj.entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.kobj.entry.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.kobj.entry.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.kobj.entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.kobj.entry.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.kobj.kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | dev->dev.kobj.kset | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.kobj.ktype | 5399513539053756416 |
| PARAM_VALUE | 0 | dev->dev.kobj.name | 1-u64max |
| PARAM_VALUE | 0 | dev->dev.kobj.state_add_uevent_sent | 0 |
| PARAM_VALUE | 0 | dev->dev.kobj.state_in_sysfs | 0 |
| PARAM_VALUE | 0 | dev->dev.kobj.state_initialized | 1 |
| PARAM_VALUE | 0 | dev->dev.kobj.state_remove_uevent_sent | 0 |
| PARAM_VALUE | 0 | dev->dev.links.consumers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.links.consumers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.links.consumers.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.links.consumers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.links.consumers.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.links.defer_sync.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.links.defer_sync.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.links.defer_sync.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.links.defer_sync.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.links.defer_sync.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.links.status | 0 |
| PARAM_VALUE | 0 | dev->dev.links.suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.links.suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.links.suppliers.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.links.suppliers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.links.suppliers.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.numa_node | (-1) |
| PARAM_VALUE | 0 | dev->dev.power.child_count.counter | 0 |
| PARAM_VALUE | 0 | dev->dev.power.deferred_resume | 0 |
| PARAM_VALUE | 0 | dev->dev.power.disable_depth | 1 |
| PARAM_VALUE | 0 | dev->dev.power.early_init | 1 |
| PARAM_VALUE | 0 | dev->dev.power.entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.power.entry.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.power.entry.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.power.entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.power.entry.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.power.idle_notification | 0 |
| PARAM_VALUE | 0 | dev->dev.power.ignore_children | 0 |
| PARAM_VALUE | 0 | dev->dev.power.is_late_suspended | 0 |
| PARAM_VALUE | 0 | dev->dev.power.is_noirq_suspended | 0 |
| PARAM_VALUE | 0 | dev->dev.power.is_prepared | 0 |
| PARAM_VALUE | 0 | dev->dev.power.is_suspended | 0 |
| PARAM_VALUE | 0 | dev->dev.power.last_status | (-1) |
| PARAM_VALUE | 0 | dev->dev.power.needs_force_resume | 0 |
| PARAM_VALUE | 0 | dev->dev.power.qos | 0 |
| PARAM_VALUE | 0 | dev->dev.power.request | 0 |
| PARAM_VALUE | 0 | dev->dev.power.request_pending | 0 |
| PARAM_VALUE | 0 | dev->dev.power.runtime_auto | 1 |
| PARAM_VALUE | 0 | dev->dev.power.runtime_error | 0 |
| PARAM_VALUE | 0 | dev->dev.power.runtime_status | 2 |
| PARAM_VALUE | 0 | dev->dev.power.timer_expires | 0 |
| PARAM_VALUE | 0 | dev->dev.power.usage_count.counter | 0 |
| PARAM_VALUE | 0 | dev->dev.power.wait_queue.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.power.wait_queue.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.power.wait_queue.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.power.wait_queue.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.power.wait_queue.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.release | 3162814718940299264,3773666831024746496,4334144674559475712,7564292499254050816 |
| PARAM_VALUE | 0 | dev->index | 0-s32max |
| PARAM_VALUE | 0 | dev->vqs.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->vqs.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->vqs.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->vqs.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->vqs.prev->prev | 4096-ptr_max |
| BUF_SIZE | 0 | dev | (-1),1872 |
| BUF_SIZE | 0 | dev | (-1),1872 |
| BUF_SIZE | 0 | dev->config | (-1),144 |
| BUF_SIZE | 0 | dev->dev.bus | 168 |
| BUF_SIZE | 0 | dev->dev.parent | (-1),1616 |
| DATA_SOURCE | 0 | dev | $0 |
| MEM_ZERO | 0 | &dev->dev.power.suspend_timer | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->dev.bus_dma_limit | 0-u64max |
| HOST_DATA | 0 | dev->dev.coherent_dma_mask | 0-u64max |
| HOST_DATA | 0 | dev->dev.devt | 0-u32max |
| HOST_DATA | 0 | dev->dev.id | 0-u32max |
| HOST_DATA | 0 | dev->dev.kobj.release.cpu | s32min-s32max |
| HOST_DATA | 0 | dev->dev.kobj.release.timer.expires | 0-u64max |
| HOST_DATA | 0 | dev->dev.kobj.release.timer.flags | 0-u32max |
| HOST_DATA | 0 | dev->dev.kobj.release.work.data.counter | s64min-s64max |
| HOST_DATA | 0 | dev->dev.kobj.uevent_suppress | 0-1 |
| HOST_DATA | 0 | dev->dev.mutex.osq.tail.counter | s32min-s32max |
| HOST_DATA | 0 | dev->dev.mutex.owner.counter | s64min-s64max |
| HOST_DATA | 0 | dev->dev.power.accounting_timestamp | 0-u64max |
| HOST_DATA | 0 | dev->dev.power.active_time | 0-u64max |
| HOST_DATA | 0 | dev->dev.power.async_suspend | 0-1 |
| HOST_DATA | 0 | dev->dev.power.autosuspend_delay | s32min-s32max |
| HOST_DATA | 0 | dev->dev.power.can_wakeup | 0-1 |
| HOST_DATA | 0 | dev->dev.power.detach_power_off | 0-1 |
| HOST_DATA | 0 | dev->dev.power.direct_complete | 0-1 |
| HOST_DATA | 0 | dev->dev.power.driver_flags | 0-u32max |
| HOST_DATA | 0 | dev->dev.power.in_dpm_list | 0-1 |
| HOST_DATA | 0 | dev->dev.power.irq_safe | 0-1 |
| HOST_DATA | 0 | dev->dev.power.last_busy | 0-u64max |
| HOST_DATA | 0 | dev->dev.power.links_count | 0-u32max |
| HOST_DATA | 0 | dev->dev.power.may_skip_resume | 0-1 |
| HOST_DATA | 0 | dev->dev.power.memalloc_noio | 0-1 |
| HOST_DATA | 0 | dev->dev.power.must_resume | 0-1 |
| HOST_DATA | 0 | dev->dev.power.no_callbacks | 0-1 |
| HOST_DATA | 0 | dev->dev.power.no_pm | 0-1 |
| HOST_DATA | 0 | dev->dev.power.no_pm_callbacks | 0-1 |
| HOST_DATA | 0 | dev->dev.power.out_band_wakeup | 0-1 |
| HOST_DATA | 0 | dev->dev.power.power_state.event | s32min-s32max |
| HOST_DATA | 0 | dev->dev.power.smart_suspend | 0-1 |
| HOST_DATA | 0 | dev->dev.power.strict_midlayer | 0-1 |
| HOST_DATA | 0 | dev->dev.power.suspended_time | 0-u64max |
| HOST_DATA | 0 | dev->dev.power.syscore | 0-1 |
| HOST_DATA | 0 | dev->dev.power.timer_autosuspends | 0-1 |
| HOST_DATA | 0 | dev->dev.power.use_autosuspend | 0-1 |
| HOST_DATA | 0 | dev->dev.power.work_in_progress | 0-1 |
| HOST_DATA | 0 | dev->dev.removable | 0-u32max |
| HOST_DATA | 0 | dev->failed | 0-1 |
| HOST_DATA | 0 | dev->features | 0-u64max |
| HOST_DATA | 0 | dev->id.device | 1-u32max |
| HOST_DATA | 0 | dev->id.vendor | 0-u32max |
| HALF_LOCKED2 | &rproc->lock |
drivers/virtio/virtio.c virtio_device_restore_priv() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/i2c/busses/i2c-virtio.c virtio_i2c_del_vqs() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | dev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->set_status | 4096-ptr_max |
| BUF_SIZE | 0 | dev->priv | (-1),2352 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->failed | 0-1 |
| HALF_LOCKED2 | &_d->mutex |
drivers/net/virtio_net.c remove_vq_common() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex |
drivers/net/virtio_net.c virtnet_probe() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | dev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->debugfs_filter_features | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->features_array | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/virtio_net.c virtnet_restore_up() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/virtio_net.c virtnet_restore_up() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/spi/spi-virtio.c virtio_spi_del_vq() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/virtio/virtio_input.c virtinput_freeze() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | dev->config_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->failed | 0-1 |
drivers/virtio/virtio_input.c virtinput_remove() -> virtio_reset_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | dev->config_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex |