Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vhost/vdpa.c vhost_vdpa_unlocked_ioctl() -> vhost_vdpa_vring_ioctl()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 0 v->vdev->mm->exe_file->f_cred->user->uidhash_node.next->pprev 1-u64max
PARAM_VALUE 0 v->vdev.mm 0-1
PARAM_VALUE 0 v->vdev.mutex.dep_map->name 0-255
PARAM_VALUE 0 v->vdev.mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 v->vdev.mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 v->vdev.mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 v->vdev.mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 v->vdev.mutex.wait_lock.owner (-1)
PARAM_VALUE 0 v->vdev.mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 cmd 0-44924,44927-1073852273,1073852275-1074048774,1074048776-1074048886,1074048888-1074310911,1074310913-1074310915,1074310917-1074310948,1074310950-1074311027,1074311029-2147594096,2147594098-2147659637,2147659639-u32max
BUF_SIZE 0 v s32min-(-2),1-s32max
BUF_SIZE 0 v s32min-(-2),1-s32max
DATA_SOURCE 1 cmd $1
DATA_SOURCE 2 argp $2
USER_DATA 1 cmd 0-44924,44927-1073852273,1073852275-1074048774,1074048776-10740
NO_OVERFLOW_SIMPLE 0 v->vdev.iov_limit
LOCK2 &d->mutex
TYPE_LOCK (struct vhost_dev)->mutex