Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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