Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
- drivers/virtio/virtio_pci_common.c
- drivers/virtio/virtio_pci_legacy.c, line 196
- drivers/virtio/virtio_pci_modern.c
Smatch caller information:
drivers/virtio/virtio_pci_common.c vp_find_vqs_intx() -> vp_del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_shm_region | 0,2525218589895086080,3831783894439149568 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| BUF_SIZE | 0 | vdev->priv | (-1),112,336,576,928,4520-s32max |
| DATA_SOURCE | 0 | vdev | $0 |
| STR_LEN | 0 | vdev | (-1),3,5-6,8,11,13 |
| STR_LEN | 0 | vdev | (-1),3,5-6,8,11,13 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &the_virtio_vsock_mutex |
drivers/virtio/virtio_pci_common.c vp_find_vqs_msix() -> vp_del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_shm_region | 0,2525218589895086080,3831783894439149568 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| BUF_SIZE | 0 | vdev->priv | (-1),112,336,576,928,4520-s32max |
| DATA_SOURCE | 0 | vdev | $0 |
| STR_LEN | 0 | vdev | (-1),3,5-6,8,11,13 |
| STR_LEN | 0 | vdev | (-1),3,5-6,8,11,13 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &the_virtio_vsock_mutex |
drivers/misc/nsm.c nsm_device_probe() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->debugfs_filter_features | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->features_array | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->vqs.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->vqs.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->vqs_list_lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | vdev->priv | 17176 |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/misc/nsm.c nsm_device_remove() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | vdev->config_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex |
net/9p/trans_virtio.c p9_virtio_probe() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->debugfs_filter_features | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->features_array | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->vqs.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->vqs.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->vqs_list_lock.rlock.dep_map->name | 0-255 |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/9p/trans_virtio.c p9_virtio_remove() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | vdev->config_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex |
drivers/net/wireless/virtual/mac80211_hwsim_main.c remove_vqs() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex |
drivers/char/hw_random/virtio-rng.c remove_common() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | vdev->config_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | vdev->failed | 0-1 |
| HALF_LOCKED2 | &_d->mutex |
drivers/net/can/virtio_can.c virtio_can_del_vq() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->del_vqs | 3457662646198779904,4540088415867748352,5024372139014213632,9123018950478393344 |
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | vdev->failed | 0-1 |
| HALF_LOCKED2 | &_d->mutex |
drivers/iommu/virtio-iommu.c viommu_probe() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->bus_name | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->debugfs_filter_features | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->features_array | 4096-ptr_max |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/iommu/virtio-iommu.c viommu_remove() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | vdev->config_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex |
drivers/nvdimm/virtio_pmem.c virtio_pmem_del_vqs() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| CONTAINER | 0 | *(-56-1776+0) | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex |
drivers/virtio/virtio_mem.c virtio_mem_freeze() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | vdev->config_lock.rlock.dep_map->name | 0-255 |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | vdev->failed | 0-1 |
drivers/virtio/virtio_mem.c virtio_mem_probe() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->debugfs_filter_features | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->features_array | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/virtio/virtio_mem.c virtio_mem_remove() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | vdev->config_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex |
drivers/firmware/arm_scmi/transports/virtio.c scmi_vio_probe() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->debugfs_filter_features | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->features_array | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->priv | 0 |
| PARAM_VALUE | 0 | vdev->vqs.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->vqs.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->vqs_list_lock.rlock.dep_map->name | 0-255 |
| CAPPED_DATA | 0 | &vdev->dev | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/firmware/arm_scmi/transports/virtio.c scmi_vio_remove() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | vdev->config_lock.rlock.dep_map->name | 0-255 |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex |
drivers/gpio/gpio-virtio.c virtio_gpio_free_vqs() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| BUF_SIZE | 0 | vdev->priv | (-1),928 |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex |
drivers/scsi/virtio_scsi.c virtscsi_probe() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->debugfs_filter_features | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->features_array | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->vqs.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->vqs.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->vqs_list_lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | vdev->priv | 4600-s32max |
| CAPPED_DATA | 0 | &vdev->dev | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/scsi/virtio_scsi.c virtscsi_remove_vqs() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| BUF_SIZE | 0 | vdev->priv | (-1),4600-s32max |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | vdev->failed | 0-1 |
| HALF_LOCKED2 | &_d->mutex |
drivers/virtio/virtio_rtc_driver.c __viortc_remove() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex |
drivers/virtio/virtio_rtc_driver.c viortc_probe() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->debugfs_filter_features | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->features_array | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| BUF_SIZE | 0 | vdev->priv | 200 |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/virtio/virtio_rtc_driver.c viortc_restore() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/gpu/drm/virtio/virtgpu_drv.c virtgpu_freeze() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | vdev->config_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | vdev->failed | 0-1 |
net/vmw_vsock/virtio_transport.c virtio_vsock_vqs_del() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| 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_del_vqs() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex |
drivers/virtio/virtio_balloon.c remove_common() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set | 4096-ptr_max |
| CONTAINER | 0 | *(-56-1776+0) | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex |
drivers/virtio/virtio_balloon.c virtballoon_probe() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->debugfs_filter_features | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->features_array | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/bluetooth/virtio_bt.c virtbt_probe() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->debugfs_filter_features | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->features_array | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->vqs.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->vqs.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->vqs_list_lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | vdev->priv | 112 |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/bluetooth/virtio_bt.c virtbt_remove() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | vdev->config_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex |
drivers/gpu/drm/virtio/virtgpu_kms.c virtio_gpu_deinit() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| CONTAINER | 0 | *(-56-1776+0) | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex |
drivers/gpu/drm/virtio/virtgpu_kms.c virtio_gpu_init() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_shm_region | 0,2525218589895086080,3831783894439149568 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.parent | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->vqs.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->vqs.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->vqs_list_lock.rlock.dep_map->name | 0-255 |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | *(-56-1776+0) | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/fuse/virtio_fs.c virtio_fs_cleanup_vqs() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| BUF_SIZE | 0 | vdev->priv | (-1),336 |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex | ||
| HALF_LOCKED2 | global &virtio_fs_mutex |
drivers/char/virtio_console.c remove_vqs() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| CONTAINER | 0 | *(-56-1776+0) | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/rpmsg/virtio_rpmsg_bus.c rpmsg_probe() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/rpmsg/virtio_rpmsg_bus.c rpmsg_remove() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex |
sound/virtio/virtio_card.c virtsnd_freeze() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | vdev->config_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | vdev->failed | 0-1 |
sound/virtio/virtio_card.c virtsnd_remove() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| BUF_SIZE | 0 | vdev->priv | (-1),448 |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/block/virtio_blk.c virtblk_freeze_priv() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | vdev->config_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | vdev->failed | 0-1 |
drivers/block/virtio_blk.c virtblk_probe() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->debugfs_filter_features | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->features_array | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/block/virtio_blk.c virtblk_remove() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | vdev->config_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &vblk->vdev_mutex | ||
| HALF_LOCKED2 | &_d->mutex | ||
| TYPE_LOCK | (struct virtio_blk)->vdev_mutex |
drivers/i2c/busses/i2c-virtio.c virtio_i2c_del_vqs() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| BUF_SIZE | 0 | vdev->priv | (-1),2352 |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | vdev->failed | 0-1 |
| HALF_LOCKED2 | &_d->mutex |
drivers/net/virtio_net.c virtnet_del_vqs() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/spi/spi-virtio.c virtio_spi_del_vq() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/virtio/virtio_input.c virtinput_freeze() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | vdev->config_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | vdev->failed | 0-1 |
drivers/virtio/virtio_input.c virtinput_probe() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->find_vqs | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->get_extended_features | 0,6730071979336241152 |
| PARAM_VALUE | 0 | vdev->config->get_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->set_status | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->debugfs_filter_features | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->features_array | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| BUF_SIZE | 0 | vdev->priv | 816 |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/virtio/virtio_input.c virtinput_remove() -> (struct virtio_config_ops)->del_vqs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config->reset | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config_core_enabled | 0 |
| PARAM_VALUE | 0 | vdev->config_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| DATA_SOURCE | 0 | vdev | $0 |
| CONTAINER | 0 | -56-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_d->mutex |