Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/iommu/iommufd/selftest.c iommufd_test_access_rw() -> iommufd_access_rw()

Type Parameter Key Value
PARAM_VALUE 0 access->ioas->iopt.iova_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 access->ioas->iopt.iova_rwsem.first_waiter->type 0-1
PARAM_VALUE 2 data 1-18446744073709551614
PARAM_VALUE 3 length 0-16777216
PARAM_VALUE 4 flags 0-131070
BUF_SIZE 2 data 0-16777216
BUF_SIZE 2 data 0-16777216
CAPPED_DATA 3 length 1
CAPPED_DATA 3 length 1
DATA_SOURCE 1 iova $2 [m]
DATA_SOURCE 2 data r __kvmalloc_node_noprof
DATA_SOURCE 3 length $3
DATA_SOURCE 4 flags $5
FUZZY_MAX 3 length 16777216
BIT_INFO 4 flags 0x0,0x10005
NOSPEC 3 length
USER_DATA 1 iova 0-u64max[u]
USER_DATA 2 *data s64min-s64max
USER_DATA 3 length 0-16777216[c]
USER_DATA 4 flags 0-131070[u]
UNITS 3 length unit_byte
BYTE_COUNT 2 ==data3 8050
USER_PTR 2 data

drivers/vfio/vfio_main.c vfio_dma_rw() -> iommufd_access_rw()

Type Parameter Key Value
PARAM_VALUE 0 access 1-u64max
PARAM_VALUE 2 data 1-u64max
PARAM_VALUE 3 length 1-u64max
PARAM_VALUE 4 flags 0-3
BUF_SIZE 2 data (-1),2,4,8
BUF_SIZE 2 data (-1),2,4,8
DATA_SOURCE 1 iova $1
DATA_SOURCE 2 data $2
DATA_SOURCE 3 length $3
FUZZY_MAX 4 flags 0
NOSPEC 1 iova
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 iova 0-u64max[c]
USER_DATA 1 iova 0-u64max[c]
USER_DATA 2 *data s64min-s64max
USER_DATA 3 length 5-4096[c]
UNITS 1 iova unit_byte
UNITS 2 data unit_byte
UNITS 3 length unit_byte
USER_PTR 2 data
HALF_LOCKED2 &gvt->sched_lock
HALF_LOCKED2 &vgpu->vgpu_lock