Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vhost/vdpa.c vhost_vdpa_open() -> vhost_vdpa_set_iova_range()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 0 v->in_batch 0
PARAM_VALUE 0 v->opened.counter 0-s32max
PARAM_VALUE 0 v->suspended 0
PARAM_VALUE 0 v->vdev.byte_weight 0
PARAM_VALUE 0 v->vdev.fork_owner 1
PARAM_VALUE 0 v->vdev.iotlb 0
PARAM_VALUE 0 v->vdev.iov_limit 0
PARAM_VALUE 0 v->vdev.log_ctx 0
PARAM_VALUE 0 v->vdev.mm 0
PARAM_VALUE 0 v->vdev.pending_list.next 4096-ptr_max
PARAM_VALUE 0 v->vdev.pending_list.next->next 4096-ptr_max
PARAM_VALUE 0 v->vdev.pending_list.prev 4096-ptr_max
PARAM_VALUE 0 v->vdev.pending_list.prev->next 4096-ptr_max
PARAM_VALUE 0 v->vdev.pending_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 v->vdev.read_list.next 4096-ptr_max
PARAM_VALUE 0 v->vdev.read_list.next->next 4096-ptr_max
PARAM_VALUE 0 v->vdev.read_list.prev 4096-ptr_max
PARAM_VALUE 0 v->vdev.read_list.prev->next 4096-ptr_max
PARAM_VALUE 0 v->vdev.read_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 v->vdev.umem 0
PARAM_VALUE 0 v->vdev.use_worker 0
PARAM_VALUE 0 v->vdev.vqs 0,4096-ptr_max
PARAM_VALUE 0 v->vdev.wait.head.next 4096-ptr_max
PARAM_VALUE 0 v->vdev.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 v->vdev.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 v->vdev.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 v->vdev.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 v->vdev.weight 0
PARAM_VALUE 0 v->vdev.worker_xa.xa_flags 33554436
PARAM_VALUE 0 v->vdev.worker_xa.xa_head 0
PARAM_VALUE 0 v->vdpa 4096-ptr_max
PARAM_VALUE 0 v->vdpa->cf_lock.dep_map->name 0-255
PARAM_VALUE 0 v->vdpa->cf_lock.first_waiter->handoff_set 1
PARAM_VALUE 0 v->vdpa->cf_lock.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 v->vdpa->cf_lock.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 v->vdpa->cf_lock.first_waiter->type 0-1
PARAM_VALUE 0 v->vdpa->cf_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 v->vdpa->config 4096-ptr_max
PARAM_VALUE 0 v->vdpa->features_valid 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL