Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/9p/trans_virtio.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

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->generation 1913793705217753088,2904344270852804608,3852192123078356992
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
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

net/9p/trans_virtio.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

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->generation 1913793705217753088,2904344270852804608,3852192123078356992
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
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/virtio-iommu.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
PARAM_VALUE 0 vdev->dev.devres_head.prev 4096-ptr_max
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/virtio-iommu.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
PARAM_VALUE 0 vdev->dev.devres_head.prev 4096-ptr_max
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/nvdimm/virtio_pmem.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
PARAM_VALUE 0 vdev->dev.devres_head.prev 4096-ptr_max
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/nvdimm/virtio_pmem.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
PARAM_VALUE 0 vdev->dev.devres_head.prev 4096-ptr_max
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/virtio/virtio_mem.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/virtio/virtio_mem.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/scsi/virtio_scsi.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
BUF_SIZE 0 vdev->priv (-1),4600-s32max
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/scsi/virtio_scsi.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
BUF_SIZE 0 vdev->priv (-1),4600-s32max
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

sound/virtio/virtio_chmap.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
PARAM_VALUE 0 vdev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 vdev->dev.devres_head.prev 4096-ptr_max
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

sound/virtio/virtio_chmap.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
PARAM_VALUE 0 vdev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 vdev->dev.devres_head.prev 4096-ptr_max
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/crypto/virtio/virtio_crypto_core.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/crypto/virtio/virtio_crypto_core.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/virtio/virtio_balloon.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/virtio/virtio_balloon.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/bluetooth/virtio_bt.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
PARAM_VALUE 0 vdev->priv 4096-ptr_max
BUF_SIZE 0 vdev->priv 112
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/bluetooth/virtio_bt.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
PARAM_VALUE 0 vdev->priv 4096-ptr_max
BUF_SIZE 0 vdev->priv 112
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

sound/virtio/virtio_kctl.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
PARAM_VALUE 0 vdev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 vdev->dev.devres_head.prev 4096-ptr_max
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

sound/virtio/virtio_kctl.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
PARAM_VALUE 0 vdev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 vdev->dev.devres_head.prev 4096-ptr_max
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/gpu/drm/virtio/virtgpu_kms.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/gpu/drm/virtio/virtgpu_kms.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

fs/fuse/virtio_fs.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
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 336
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

fs/fuse/virtio_fs.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
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 336
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/char/virtio_console.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
BUF_SIZE 0 vdev->priv (-1),472
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/char/virtio_console.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
BUF_SIZE 0 vdev->priv (-1),472
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

sound/virtio/virtio_pcm.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
PARAM_VALUE 0 vdev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 vdev->dev.devres_head.prev 4096-ptr_max
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

sound/virtio/virtio_pcm.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
PARAM_VALUE 0 vdev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 vdev->dev.devres_head.prev 4096-ptr_max
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/block/virtio_blk.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &vblk->vdev_mutex

drivers/block/virtio_blk.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &vblk->vdev_mutex

sound/virtio/virtio_jack.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
PARAM_VALUE 0 vdev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 vdev->dev.devres_head.prev 4096-ptr_max
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

sound/virtio/virtio_jack.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
PARAM_VALUE 0 vdev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 vdev->dev.devres_head.prev 4096-ptr_max
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/net/virtio_net.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
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
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/net/virtio_net.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config 4096-ptr_max
PARAM_VALUE 0 vdev->config->generation 1913793705217753088,2904344270852804608,3852192123078356992
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
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/virtio/virtio_input.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

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->generation 1913793705217753088,2904344270852804608,3852192123078356992
PARAM_VALUE 0 vdev->config->get 0,4096-ptr_max
PARAM_VALUE 0 vdev->config->set 0,4096-ptr_max
PARAM_VALUE 0 vdev->priv 4096-ptr_max
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/virtio/virtio_input.c __virtio_cread_many() -> (struct virtio_config_ops)->generation()

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->generation 1913793705217753088,2904344270852804608,3852192123078356992
PARAM_VALUE 0 vdev->config->get 0,4096-ptr_max
PARAM_VALUE 0 vdev->config->set 0,4096-ptr_max
PARAM_VALUE 0 vdev->priv 4096-ptr_max
DATA_SOURCE 0 vdev $0
CONTAINER 0 -16-1776+0 $(-1)
RX_PATH
TASK_NOT_RUNNING