Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

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