Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vhost/vringh.c vringh_init_iotlb() -> vringh_init_kern()

Type Parameter Key Value
PARAM_VALUE 0 vrh 4096-ptr_max
PARAM_VALUE 0 vrh->use_va 0
DATA_SOURCE 0 vrh $0
DATA_SOURCE 1 features $1
DATA_SOURCE 2 num $2
DATA_SOURCE 3 weak_barriers $3
DATA_SOURCE 4 desc $4
DATA_SOURCE 5 avail $5
DATA_SOURCE 6 used $6
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 2 num unit_array_size
HALF_LOCKED2 &ndev->reslock
HALF_LOCKED2 &vdev->cf_lock
HALF_LOCKED2 &vdpa->cf_lock
HALF_LOCKED2 &vdpasim->iommu_lock
HALF_LOCKED2 &vdpasim->mutex

drivers/vhost/vringh.c vringh_init_iotlb_va() -> vringh_init_kern()

Type Parameter Key Value
PARAM_VALUE 0 vrh 4096-ptr_max
PARAM_VALUE 0 vrh->use_va 1
PARAM_VALUE 3 weak_barriers 1
DATA_SOURCE 0 vrh $0
DATA_SOURCE 1 features $1
DATA_SOURCE 2 num $2
DATA_SOURCE 3 weak_barriers $3
DATA_SOURCE 4 desc $4
DATA_SOURCE 5 avail $5
DATA_SOURCE 6 used $6
RX_PATH
TASK_NOT_RUNNING
LOCK2 &vdpasim->mutex
HALF_LOCKED2 &d->mutex
TYPE_LOCK (struct vdpasim)->mutex