Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vhost/vdpa.c vhost_vdpa_remove_as() -> vhost_vdpa_iotlb_unmap()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 0 v->in_batch 0
PARAM_VALUE 0 v->suspended 0
PARAM_VALUE 0 v->vdev.vqs 0,4096-ptr_max
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
PARAM_VALUE 0 v->vdpa->nas 1-u32max
PARAM_VALUE 1 iotlb 4096-ptr_max
PARAM_VALUE 2 start 0
PARAM_VALUE 3 last u64max
BUF_SIZE 0 v (-1),26
BUF_SIZE 0 v (-1),26
CAPPED_DATA 4 asid 1
DATA_SOURCE 0 v $0
DATA_SOURCE 4 asid $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 asid unit_array_size
HALF_LOCKED2 &d->mutex

drivers/vhost/vdpa.c vhost_vdpa_unmap() -> vhost_vdpa_iotlb_unmap()

Type Parameter Key Value
PARAM_VALUE 0 v 4096-ptr_max
PARAM_VALUE 0 v->vdev.mm->mmap_lock.first_waiter->type 0-1
PARAM_VALUE 0 v->vdpa 4096-ptr_max
PARAM_VALUE 1 iotlb 4096-ptr_max
BUF_SIZE 1 iotlb (-1),48
BUF_SIZE 1 iotlb (-1),48
CAPPED_DATA 1 iotlb 1
DATA_SOURCE 0 v $0
DATA_SOURCE 1 iotlb $1
DATA_SOURCE 2 start $2
DATA_SOURCE 4 asid r iotlb_to_asid
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 start unit_byte
UNITS 3 last unit_byte
LOCK2 &dev->mutex
HALF_LOCKED2 &dev->mm->mmap_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct vhost_dev)->mutex