Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/virtio/virtio_vdpa.c virtio_vdpa_setup_vq() -> vring_create_virtqueue_map()

Type Parameter Key Value
PARAM_VALUE 0 index 0-s32max
PARAM_VALUE 1 num 1-u16max
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 1
PARAM_VALUE 7 notify 13480400407728128,6229273128107966464
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
CAPPED_DATA 0 index 1
CAPPED_DATA 1 num 1
DATA_SOURCE 0 index $1
DATA_SOURCE 3 vdev $0
DATA_SOURCE 6 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
BIT_INFO 7 notify 0x22c04249830000,0x567ff6ffedfb9000
BIT_INFO 7 notify 0x22c04249830000,0x567ff6ffedfb9000
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 num 1-u16max[c]
HOST_DATA 5 may_reduce_num 0-1
UNITS 0 index unit_array_size
HALF_LOCKED2 global &the_virtio_vsock_mutex