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)->get()
| 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 | 0,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 | 3 | len | 1-2 |
| CAPPED_DATA | 1 | offset | 1 |
| CAPPED_DATA | 3 | len | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 3 | len | $4 |
| CONTAINER | 0 | -0-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 3 | len |
drivers/net/can/virtio_can.c virtio_cread16() -> (struct virtio_config_ops)->get()
| 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->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->config_core_enabled | 1 |
| PARAM_VALUE | 0 | vdev->config_driver_disabled | 0 |
| PARAM_VALUE | 1 | offset | 0 |
| PARAM_VALUE | 2 | buf | 5265853446394445824 |
| PARAM_VALUE | 3 | len | 2 |
| BUF_SIZE | 2 | buf | 2 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| CONTAINER | 0 | -0-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | vdev->failed | 0-1 |
| NO_OVERFLOW_SIMPLE | 0 | vdev->priv->num_vqs | |
| LOCK2 | 0 | &vdev->config_lock | |
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq | ||
| TYPE_LOCK | (struct virtio_device)->config_lock |
drivers/iommu/virtio-iommu.c __virtio_cread_many() -> (struct virtio_config_ops)->get()
| 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 | 0,1913793705217753088,2904344270852804608,3852192123078356992 |
| PARAM_VALUE | 0 | vdev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 0,8,16,24,28,32 |
| PARAM_VALUE | 2 | buf | 8006376085221236736 |
| PARAM_VALUE | 3 | len | 4,8 |
| CAPPED_DATA | 1 | offset | 1 |
| CAPPED_DATA | 3 | len | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 3 | len | $4 |
| CONTAINER | 0 | -0-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 3 | len |
drivers/nvdimm/virtio_pmem.c __virtio_cread_many() -> (struct virtio_config_ops)->get()
| 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 | 0,1913793705217753088,2904344270852804608,3852192123078356992 |
| PARAM_VALUE | 0 | vdev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 0,8 |
| PARAM_VALUE | 2 | buf | 5072043981905715200 |
| PARAM_VALUE | 3 | len | 8 |
| CAPPED_DATA | 1 | offset | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 3 | len | $4 |
| CONTAINER | 0 | -0-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 3 | len |
drivers/virtio/virtio_mem.c __virtio_cread_many() -> (struct virtio_config_ops)->get()
| 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 | 0,1913793705217753088,2904344270852804608,3852192123078356992 |
| PARAM_VALUE | 1 | offset | 0,8,16,24,32,40,48 |
| PARAM_VALUE | 2 | buf | 2503639384323231744,5253616850320453632 |
| PARAM_VALUE | 3 | len | 2,8 |
| CAPPED_DATA | 1 | offset | 1 |
| CAPPED_DATA | 3 | len | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 3 | len | $4 |
| CONTAINER | 0 | -0-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 3 | len |
drivers/gpio/gpio-virtio.c virtio_cread16() -> (struct virtio_config_ops)->get()
| 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.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 | 1 | offset | 0 |
| PARAM_VALUE | 2 | buf | 7295095297778593792 |
| PARAM_VALUE | 3 | len | 2 |
| BUF_SIZE | 2 | buf | 2 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| CONTAINER | 0 | -0-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/gpio/gpio-virtio.c virtio_cread32() -> (struct virtio_config_ops)->get()
| 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->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 | 1 | offset | 4 |
| PARAM_VALUE | 2 | buf | 3813387162541735936 |
| PARAM_VALUE | 3 | len | 4 |
| BUF_SIZE | 2 | buf | 4 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| CONTAINER | 0 | -0-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/scsi/virtio_scsi.c __virtio_cread_many() -> (struct virtio_config_ops)->get()
| 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 | 0,1913793705217753088,2904344270852804608,3852192123078356992 |
| PARAM_VALUE | 1 | offset | 0,4,8,12,30,32 |
| PARAM_VALUE | 2 | buf | 7623163410761617408 |
| PARAM_VALUE | 3 | len | 2,4 |
| BUF_SIZE | 0 | vdev->priv | (-1),4600-s32max |
| CAPPED_DATA | 1 | offset | 1 |
| CAPPED_DATA | 3 | len | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 3 | len | $4 |
| CONTAINER | 0 | -0-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 3 | len |
sound/virtio/virtio_chmap.c __virtio_cread_many() -> (struct virtio_config_ops)->get()
| 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 | 0,1913793705217753088,2904344270852804608,3852192123078356992 |
| PARAM_VALUE | 0 | vdev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 8 |
| PARAM_VALUE | 2 | buf | 7230547576072634368 |
| PARAM_VALUE | 3 | len | 4 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 3 | len | $4 |
| CONTAINER | 0 | -0-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 3 | len |
net/vmw_vsock/virtio_transport.c virtio_vsock_update_guest_cid() -> (struct virtio_config_ops)->get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 0 |
| PARAM_VALUE | 2 | buf | 3406005981663866880 |
| PARAM_VALUE | 3 | len | 8 |
| BUF_SIZE | 2 | buf | 8 |
| CONTAINER | 0 | -0-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &vsock->event_lock | ||
| HALF_LOCKED2 | global &the_virtio_vsock_mutex |
drivers/crypto/virtio/virtio_crypto_core.c __virtio_cread_many() -> (struct virtio_config_ops)->get()
| 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 | 0,1913793705217753088,2904344270852804608,3852192123078356992 |
| PARAM_VALUE | 1 | offset | 0,4,8,12,16,20,24,28,32,36,40,44,48 |
| PARAM_VALUE | 2 | buf | 3178148471587422208,3253843305229385728 |
| PARAM_VALUE | 3 | len | 4,8 |
| CAPPED_DATA | 1 | offset | 1 |
| CAPPED_DATA | 3 | len | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 3 | len | $4 |
| CONTAINER | 0 | -0-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 3 | len |
drivers/virtio/virtio_balloon.c __virtio_cread_many() -> (struct virtio_config_ops)->get()
| 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 | 0,1913793705217753088,2904344270852804608,3852192123078356992 |
| PARAM_VALUE | 1 | offset | 0,8 |
| PARAM_VALUE | 2 | buf | 3520148926284218368,7818461839276638208 |
| PARAM_VALUE | 3 | len | 4 |
| CAPPED_DATA | 1 | offset | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 3 | len | $4 |
| CONTAINER | 0 | -0-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 3 | len |
drivers/bluetooth/virtio_bt.c __virtio_cread_many() -> (struct virtio_config_ops)->get()
| 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 | 0,1913793705217753088,2904344270852804608,3852192123078356992 |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 1-4 |
| PARAM_VALUE | 2 | buf | 6769905662587940864 |
| PARAM_VALUE | 3 | len | 2 |
| BUF_SIZE | 0 | vdev->priv | 112 |
| CAPPED_DATA | 1 | offset | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 3 | len | $4 |
| CONTAINER | 0 | -0-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 3 | len |
drivers/bluetooth/virtio_bt.c virtio_cread8() -> (struct virtio_config_ops)->get()
| 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->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 | 1 | offset | 0 |
| PARAM_VALUE | 2 | buf | 5246015379005706240 |
| PARAM_VALUE | 3 | len | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| CONTAINER | 0 | -0-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
sound/virtio/virtio_kctl.c __virtio_cread_many() -> (struct virtio_config_ops)->get()
| 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 | 0,1913793705217753088,2904344270852804608,3852192123078356992 |
| PARAM_VALUE | 0 | vdev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 12 |
| PARAM_VALUE | 2 | buf | 7863385762229870592 |
| PARAM_VALUE | 3 | len | 4 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 3 | len | $4 |
| CONTAINER | 0 | -0-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 3 | len |
drivers/gpu/drm/virtio/virtgpu_kms.c __virtio_cread_many() -> (struct virtio_config_ops)->get()
| 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 | 0,1913793705217753088,2904344270852804608,3852192123078356992 |
| PARAM_VALUE | 1 | offset | 0,8,12,16 |
| PARAM_VALUE | 2 | buf | 5504761943058522112,5835839860663328768 |
| PARAM_VALUE | 3 | len | 4 |
| CAPPED_DATA | 1 | offset | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 3 | len | $4 |
| CONTAINER | 0 | -0-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 3 | len |
fs/fuse/virtio_fs.c __virtio_cread_many() -> (struct virtio_config_ops)->get()
| 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 | 0,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 |
| PARAM_VALUE | 1 | offset | 0-176 |
| PARAM_VALUE | 3 | len | 1,4 |
| BUF_SIZE | 0 | vdev->priv | 336 |
| CAPPED_DATA | 1 | offset | 1 |
| CAPPED_DATA | 3 | len | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 3 | len | $4 |
| CONTAINER | 0 | -0-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 3 | len |
drivers/char/virtio_console.c __virtio_cread_many() -> (struct virtio_config_ops)->get()
| 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 | 0,1913793705217753088,2904344270852804608,3852192123078356992 |
| PARAM_VALUE | 1 | offset | 0,2,4 |
| PARAM_VALUE | 2 | buf | 6308700911568621568,7324646193389957120 |
| PARAM_VALUE | 3 | len | 2,4 |
| BUF_SIZE | 0 | vdev->priv | (-1),472 |
| CAPPED_DATA | 1 | offset | 1 |
| CAPPED_DATA | 3 | len | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 3 | len | $4 |
| CONTAINER | 0 | -0-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 3 | len |
sound/virtio/virtio_pcm.c __virtio_cread_many() -> (struct virtio_config_ops)->get()
| 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 | 0,1913793705217753088,2904344270852804608,3852192123078356992 |
| PARAM_VALUE | 0 | vdev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 4 |
| PARAM_VALUE | 2 | buf | 4530251093676331008 |
| PARAM_VALUE | 3 | len | 4 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 3 | len | $4 |
| CONTAINER | 0 | -0-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 3 | len |
drivers/block/virtio_blk.c __virtio_cread_many() -> (struct virtio_config_ops)->get()
| 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 | 0,1913793705217753088,2904344270852804608,3852192123078356992 |
| PARAM_VALUE | 1 | offset | 0,8,12,16,20,26,28,34,36,40,44,48,60,64,68,72,76,80,84,88 |
| PARAM_VALUE | 2 | buf | 1409712530672562176,4313791449990406144,4649287442325651456,4683952180827590656,6435119470589218816 |
| PARAM_VALUE | 3 | len | 2,4,8 |
| CAPPED_DATA | 1 | offset | 1 |
| CAPPED_DATA | 3 | len | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 3 | len | $4 |
| CONTAINER | 0 | -0-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 3 | len | |
| HALF_LOCKED2 | &vblk->vdev_mutex |
drivers/block/virtio_blk.c virtblk_get_cache_mode() -> (struct virtio_config_ops)->get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 32 |
| PARAM_VALUE | 2 | buf | 3403153583914696704 |
| PARAM_VALUE | 3 | len | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &disk->queue->limits_lock | ||
| HALF_LOCKED2 | &of->mutex |
drivers/block/virtio_blk.c virtblk_getgeo() -> (struct virtio_config_ops)->get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 18 |
| PARAM_VALUE | 2 | buf | 6435119470589218816 |
| PARAM_VALUE | 3 | len | 1 |
| CONTAINER | 0 | *(-0-1776+0) | $(-1) |
| NOCHECK_CALL | |||
| LOCK2 | &vblk->vdev_mutex | ||
| TYPE_LOCK | (struct virtio_blk)->vdev_mutex |
drivers/block/virtio_blk.c virtblk_getgeo() -> (struct virtio_config_ops)->get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 19 |
| PARAM_VALUE | 2 | buf | 6435119470589218816 |
| PARAM_VALUE | 3 | len | 1 |
| CONTAINER | 0 | *(-0-1776+0) | $(-1) |
| NOCHECK_CALL | |||
| LOCK2 | &vblk->vdev_mutex | ||
| TYPE_LOCK | (struct virtio_blk)->vdev_mutex |
drivers/block/virtio_blk.c virtblk_read_limits() -> (struct virtio_config_ops)->get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 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->priv | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 24 |
| PARAM_VALUE | 2 | buf | 4313791449990406144 |
| PARAM_VALUE | 3 | len | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/block/virtio_blk.c virtblk_read_limits() -> (struct virtio_config_ops)->get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 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->priv | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 25 |
| PARAM_VALUE | 2 | buf | 4313791449990406144 |
| PARAM_VALUE | 3 | len | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/block/virtio_blk.c virtblk_read_limits() -> (struct virtio_config_ops)->get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 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->priv | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 92 |
| PARAM_VALUE | 2 | buf | 4313791449990406144 |
| PARAM_VALUE | 3 | len | 1 |
| CONTAINER | 0 | -0-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
sound/virtio/virtio_jack.c __virtio_cread_many() -> (struct virtio_config_ops)->get()
| 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 | 0,1913793705217753088,2904344270852804608,3852192123078356992 |
| PARAM_VALUE | 0 | vdev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vdev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 0 |
| PARAM_VALUE | 2 | buf | 6679496277137182720 |
| PARAM_VALUE | 3 | len | 4 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 3 | len | $4 |
| CONTAINER | 0 | -0-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 3 | len |
drivers/net/virtio_net.c __virtio_cread_many() -> (struct virtio_config_ops)->get()
| 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 | 0,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 | 1 | offset | 0-32 |
| PARAM_VALUE | 3 | len | 1-2,4 |
| CAPPED_DATA | 1 | offset | 1 |
| CAPPED_DATA | 3 | len | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 3 | len | $4 |
| CONTAINER | 0 | -0-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 3 | len |
drivers/net/virtio_net.c virtio_cread16() -> (struct virtio_config_ops)->get()
| 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->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 | 1 | offset | 8,10,18 |
| PARAM_VALUE | 2 | buf | 3555297082638118912 |
| PARAM_VALUE | 3 | len | 2 |
| BUF_SIZE | 2 | buf | 2 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| CONTAINER | 0 | -0-1776+0 | $(-1) |
| HARD_MAX | 1 | offset | 18 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/virtio_net.c virtio_cread32() -> (struct virtio_config_ops)->get()
| 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.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 | 1 | offset | 20 |
| PARAM_VALUE | 2 | buf | 528547124561469440 |
| PARAM_VALUE | 3 | len | 4 |
| BUF_SIZE | 2 | buf | 4 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| CONTAINER | 0 | -0-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/virtio_net.c virtio_cread8() -> (struct virtio_config_ops)->get()
| 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->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 | 1 | offset | 17 |
| PARAM_VALUE | 2 | buf | 3725800204439855104 |
| PARAM_VALUE | 3 | len | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| CONTAINER | 0 | -0-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/virtio_net.c virtnet_update_settings() -> (struct virtio_config_ops)->get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 16 |
| PARAM_VALUE | 2 | buf | 4221934948341669888 |
| PARAM_VALUE | 3 | len | 1 |
| CONTAINER | 0 | *(-0-1776+0) | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/spi/spi-virtio.c virtio_cread32() -> (struct virtio_config_ops)->get()
| 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.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_data | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->features_array | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 4,8,12 |
| PARAM_VALUE | 2 | buf | 189720012889145344 |
| PARAM_VALUE | 3 | len | 4 |
| BUF_SIZE | 0 | vdev->priv | s32min-(-2),1-s32max |
| BUF_SIZE | 2 | buf | 4 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| CONTAINER | 0 | -0-1776+0 | $(-1) |
| HARD_MAX | 1 | offset | 12 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/spi/spi-virtio.c virtio_cread8() -> (struct virtio_config_ops)->get()
| 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->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->dev.driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->features_array | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 0,2-3 |
| PARAM_VALUE | 2 | buf | 3938572660444942336 |
| PARAM_VALUE | 3 | len | 1 |
| BUF_SIZE | 0 | vdev->priv | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| CONTAINER | 0 | -0-1776+0 | $(-1) |
| HARD_MAX | 1 | offset | 3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/virtio/virtio_input.c __virtio_cread_many() -> (struct virtio_config_ops)->get()
| 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 | 0,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 |
| PARAM_VALUE | 1 | offset | 8-1040 |
| PARAM_VALUE | 2 | buf | 4096-ptr_max |
| PARAM_VALUE | 3 | len | 1-2,4 |
| CAPPED_DATA | 1 | offset | 1 |
| CAPPED_DATA | 3 | len | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 3 | len | $4 |
| CONTAINER | 0 | -0-1776+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 3 | len |
drivers/virtio/virtio_input.c virtinput_cfg_select() -> (struct virtio_config_ops)->get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->priv | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 2 |
| PARAM_VALUE | 2 | buf | 2743215265800691712 |
| PARAM_VALUE | 3 | len | 1 |
| CONTAINER | 0 | *(-0-1776+0) | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |