Defined in 1 files as a function:
Referenced in 4 files:
- drivers/net/virtio_net.c, line 6840
- drivers/virtio/virtio_input.c
- fs/fuse/virtio_fs.c, line 502
- net/9p/trans_virtio.c, line 642
Smatch caller information:
net/9p/trans_virtio.c p9_virtio_probe() -> virtio_cread_bytes()
| 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 |
| PARAM_VALUE | 1 | offset | 2 |
| PARAM_VALUE | 2 | buf | 4096-ptr_max |
| BUF_SIZE | 2 | buf | 1-65536 |
| DATA_SOURCE | 0 | vdev | $0 |
| DATA_SOURCE | 2 | buf | r _kzalloc_noprof |
| DATA_SOURCE | 3 | len | r virtio16_to_cpu |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | len | 0-u16max |
| ELEM_LAST | 2 | ==buf3 | 8052 |
fs/fuse/virtio_fs.c virtio_fs_read_tag() -> virtio_cread_bytes()
| 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 | 0 | vdev->priv | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 0 |
| PARAM_VALUE | 2 | buf | 7412337697665798144 |
| PARAM_VALUE | 3 | len | 36 |
| BUF_SIZE | 0 | vdev->priv | 336 |
| BUF_SIZE | 2 | buf | 36 |
| DATA_SOURCE | 0 | vdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 3 | len | unit_byte |
drivers/net/virtio_net.c virtnet_probe() -> virtio_cread_bytes()
| 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 | 8938794874238873600 |
| PARAM_VALUE | 3 | len | 6 |
| BUF_SIZE | 2 | buf | 6 |
| DATA_SOURCE | 0 | vdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/virtio/virtio_input.c virtinput_cfg_bits() -> virtio_cread_bytes()
| 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->set | 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 |
| PARAM_VALUE | 1 | offset | 8 |
| PARAM_VALUE | 2 | buf | 4096-ptr_max |
| PARAM_VALUE | 3 | len | 1-255 |
| BUF_SIZE | 2 | buf | 1-255 |
| DATA_SOURCE | 2 | buf | r _kzalloc_noprof |
| DATA_SOURCE | 3 | len | r virtinput_cfg_select |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | len | 1-255 |
| BYTE_COUNT | 2 | ==buf3 | 8050 |
drivers/virtio/virtio_input.c virtinput_probe() -> virtio_cread_bytes()
| 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->set | 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 |
| PARAM_VALUE | 1 | offset | 8 |
| PARAM_VALUE | 3 | len | 0-64 |
| BUF_SIZE | 2 | buf | 64 |
| CAPPED_DATA | 3 | len | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | len | 0-63[c] |
| UNITS | 3 | len | unit_byte |
drivers/virtio/virtio_input.c virtinput_probe() -> virtio_cread_bytes()
| 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->set | 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 |
| PARAM_VALUE | 1 | offset | 8 |
| PARAM_VALUE | 3 | len | 0-64 |
| BUF_SIZE | 2 | buf | 64 |
| CAPPED_DATA | 3 | len | 1 |
| DATA_SOURCE | 0 | vdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | len | 0-63[c] |
| UNITS | 3 | len | unit_byte |