Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/virtio/virtio_mmio.c vm_find_vqs() -> vm_setup_vq()

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
PARAM_VALUE 1 index 0-s32max
PARAM_VALUE 3 name 1-u64max
BUF_SIZE 0 vdev->priv (-1),112,336,576,928,4600-s32max
BUF_SIZE 3 name 3-4,6-16,24,32
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
CONTAINER 2 *(-8+0) $3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &the_virtio_vsock_mutex