Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/iova.c iova_rcache_insert() -> __iova_rcache_insert()

Type Parameter Key Value
PARAM_VALUE 0 iovad 4096-ptr_max
PARAM_VALUE 0 iovad->rcaches 4096-ptr_max
PARAM_VALUE 1 rcache 4096-ptr_max
BUF_SIZE 0 iovad (-1),192
BUF_SIZE 0 iovad (-1),192
DATA_SOURCE 0 iovad $0
DATA_SOURCE 2 iova_pfn $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 iovad->max32_alloc_size 32-u64max[c]
HOST_DATA 2 iova_pfn 0-u64max
USER_DATA 0 iovad->max32_alloc_size 32-u64max[c]
USER_DATA 2 iova_pfn 1-9223372036855042047[c]
HALF_LOCKED2 &fq->lock
HALF_LOCKED2 flags