Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

drivers/remoteproc/remoteproc_virtio.c rp_find_vq() -> vring_new_virtqueue()

Type Parameter Key Value
PARAM_VALUE 0 index 0-1
PARAM_VALUE 1 num 1-u32max
PARAM_VALUE 3 vdev 4096-ptr_max
PARAM_VALUE 3 vdev->config 4096-ptr_max
PARAM_VALUE 3 vdev->config->find_vqs 4096-ptr_max
PARAM_VALUE 3 vdev->config->get 0,4096-ptr_max
PARAM_VALUE 3 vdev->config->get_extended_features 0,6730071979336241152
PARAM_VALUE 3 vdev->config->get_shm_region 0,2525218589895086080,3831783894439149568
PARAM_VALUE 3 vdev->config->get_status 4096-ptr_max
PARAM_VALUE 3 vdev->config->reset 4096-ptr_max
PARAM_VALUE 3 vdev->config->set_status 4096-ptr_max
PARAM_VALUE 4 weak_barriers 0
PARAM_VALUE 6 pages 1-u64max
PARAM_VALUE 9 name 1-u64max
BUF_SIZE 3 vdev->priv (-1),112,336,576,928,4600-s32max
BUF_SIZE 9 name 3-4,6-16,24,32
BUF_SIZE 9 name 3-4,6-16,24,32
DATA_SOURCE 0 index $1
DATA_SOURCE 3 vdev $0
DATA_SOURCE 5 context $4
DATA_SOURCE 8 callback $2
DATA_SOURCE 9 name $3
STR_LEN 0 index (-1),3,5-6,8,11,13
STR_LEN 3 vdev (-1),3,5-6,8,11,13
CONTAINER 8 *(-8+0) $9
HARD_MAX 0 index 1
MEM_ZERO 6 pages
RX_PATH
TASK_NOT_RUNNING
UNITS 0 index unit_array_size
HALF_LOCKED2 global &the_virtio_vsock_mutex