Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/iommufd/pages.c iopt_pages_rw_slow() -> batch_rw()

Type Parameter Key Value
PARAM_VALUE 0 batch 5386030719981473952
PARAM_VALUE 0 batch->array_size 0-333333
PARAM_VALUE 0 batch->kind 0-1
PARAM_VALUE 0 batch->pfns 4096-ptr_max
PARAM_VALUE 1 data 1-u64max
PARAM_VALUE 4 flags 0-131070
BUF_SIZE 1 data (-1)-16777216
BUF_SIZE 1 data (-1)-16777216
DATA_SOURCE 1 data $4
DATA_SOURCE 2 offset $3 [m]
DATA_SOURCE 3 length $5
DATA_SOURCE 4 flags $6
BIT_INFO 4 flags 0x0,0x10007
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *data s64min-s64max
USER_DATA 4 flags 0-131070[u]
UNITS 1 data unit_byte
UNITS 3 length unit_byte
USER_PTR 1 data
LOCK2 &access->ioas_lock
LOCK2 &iopt->iova_rwsem
LOCK2 &pages->mutex
TYPE_LOCK (struct io_pagetable)->iova_rwsem
TYPE_LOCK (struct iommufd_access)->ioas_lock
TYPE_LOCK (struct iopt_pages)->mutex