Defined in 1 files as a function:

Referenced in 26 files:

Smatch caller information:

net/9p/trans_virtio.c p9_virtio_probe() -> virtio_device_ready()

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->dev.kobj.sd 4096-ptr_max
PARAM_VALUE 0 dev->dev.kobj.sd->__parent 0
PARAM_VALUE 0 dev->dev.kobj.sd->priv 4096-ptr_max
PARAM_VALUE 0 dev->features_array 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
CAPPED_DATA 0 dev->dev.kobj.sd 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/wireless/virtual/mac80211_hwsim_main.c hwsim_virtio_probe() -> virtio_device_ready()

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->features_array 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

drivers/char/hw_random/virtio-rng.c probe_common() -> virtio_device_ready()

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->reset 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.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 576
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/iommu/virtio-iommu.c viommu_probe() -> virtio_device_ready()

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.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
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/nvdimm/virtio_pmem.c virtio_pmem_probe() -> virtio_device_ready()

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.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_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_restore() -> virtio_device_ready()

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
PARAM_VALUE 0 dev->priv->broken 0
PARAM_VALUE 0 dev->priv->req_inflight 0
PARAM_VALUE 0 dev->priv->vdev 4096-ptr_max
PARAM_VALUE 0 dev->priv->vdev->config 4096-ptr_max
PARAM_VALUE 0 dev->priv->vdev->config->find_vqs 4096-ptr_max
PARAM_VALUE 0 dev->priv->vdev->vqs_list_lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virtio/virtio_mem.c virtio_mem_init_hotplug() -> virtio_device_ready()

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 358061320328622080,6500970494416850944,8025957840625967104,8389438907370876928,9078089697165746176
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
PARAM_VALUE 0 dev->vqs.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->vqs.prev->next->next 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virtio/virtio_mem.c virtio_mem_init_kdump() -> virtio_device_ready()

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 358061320328622080,6500970494416850944,8025957840625967104,8389438907370876928,9078089697165746176
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
PARAM_VALUE 0 dev->vqs.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->vqs.prev->next->next 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virtio/virtio_mem.c virtio_mem_restore() -> virtio_device_ready()

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/firmware/arm_scmi/transports/virtio.c scmi_vio_probe() -> virtio_device_ready()

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
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/gpio/gpio-virtio.c virtio_gpio_probe() -> virtio_device_ready()

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->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 928
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/scsi/virtio_scsi.c virtscsi_probe() -> virtio_device_ready()

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->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 4600-s32max
CAPPED_DATA 0 &dev->dev 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/scsi/virtio_scsi.c virtscsi_restore() -> virtio_device_ready()

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->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

drivers/virtio/virtio_rtc_driver.c viortc_probe() -> virtio_device_ready()

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

drivers/virtio/virtio_rtc_driver.c viortc_restore() -> virtio_device_ready()

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/gpu/drm/virtio/virtgpu_drv.c virtgpu_restore() -> virtio_device_ready()

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

net/vmw_vsock/virtio_transport.c virtio_vsock_vqs_init() -> virtio_device_ready()

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->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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &the_virtio_vsock_mutex

drivers/crypto/virtio/virtio_crypto_core.c virtcrypto_probe() -> virtio_device_ready()

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_restore() -> virtio_device_ready()

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/virtio/virtio_balloon.c virtballoon_probe() -> virtio_device_ready()

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
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virtio/virtio_balloon.c virtballoon_restore() -> virtio_device_ready()

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
PARAM_VALUE 0 dev->priv->vdev 4096-ptr_max
PARAM_VALUE 0 dev->priv->vdev->config 4096-ptr_max
PARAM_VALUE 0 dev->priv->vdev->config->find_vqs 4096-ptr_max
PARAM_VALUE 0 dev->priv->vdev->vqs_list_lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/bluetooth/virtio_bt.c virtbt_probe() -> virtio_device_ready()

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/gpu/drm/virtio/virtgpu_kms.c virtio_gpu_init() -> virtio_device_ready()

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->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_device_ready()

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

drivers/char/virtio_console.c virtcons_probe() -> virtio_device_ready()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->config 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

drivers/char/virtio_console.c virtcons_restore() -> virtio_device_ready()

Type Parameter Key Value
PARAM_VALUE 0 dev 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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/rpmsg/virtio_rpmsg_bus.c rpmsg_probe() -> virtio_device_ready()

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.parent 4096-ptr_max
PARAM_VALUE 0 dev->dev.parent->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->dev.parent->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 dev->dev.parent->cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->dev.parent->cma_area->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->dev.parent->cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->dev.parent->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->dev.parent->dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 dev->dev.parent->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.parent->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->dev.parent->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->dev.parent->dma_uses_io_tlb 1
PARAM_VALUE 0 dev->dev.parent->iommu->attach_deferred 0-1
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 552
CAPPED_DATA 0 dev->dev.parent 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

sound/virtio/virtio_card.c virtsnd_probe() -> virtio_device_ready()

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 448
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

sound/virtio/virtio_card.c virtsnd_restore() -> virtio_device_ready()

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/block/virtio_blk.c virtblk_probe() -> virtio_device_ready()

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
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/block/virtio_blk.c virtblk_restore_priv() -> virtio_device_ready()

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
PARAM_VALUE 0 dev->priv->num_vqs 0-u16max
PARAM_VALUE 0 dev->priv->vdev->vqs_list_lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dev->priv->num_vqs

drivers/virtio/virtio.c virtio_dev_probe() -> virtio_device_ready()

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->features_array 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virtio/virtio.c virtio_device_restore_priv() -> virtio_device_ready()

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->disk->queue->queue_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->priv->disk->queue->quiesce_depth s32min-s32max
PARAM_VALUE 0 dev->priv->num_vqs 0-u16max
PARAM_VALUE 0 dev->priv->vdev->vqs_list_lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dev->priv->num_vqs

drivers/i2c/busses/i2c-virtio.c virtio_i2c_probe() -> virtio_device_ready()

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->dev.parent 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 2352
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/virtio_net.c virtnet_probe() -> virtio_device_ready()

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
LOCK2 global &rtnl_mutex

drivers/net/virtio_net.c virtnet_restore_up() -> virtio_device_ready()

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/virtio/virtio_input.c virtinput_probe() -> virtio_device_ready()

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 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
BUF_SIZE 0 dev->priv 816
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virtio/virtio_input.c virtinput_restore() -> virtio_device_ready()

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