Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/iommufd/pages.c pfn_reader_first() -> pfn_reader_init()

Type Parameter Key Value
PARAM_VALUE 0 pfns 5386030719981473792,6270772229982597120,8717662312254873600
PARAM_VALUE 1 pages 4096-ptr_max
PARAM_VALUE 1 pages->source_mm->mmap_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 1 pages->source_mm->mmap_lock.first_waiter->type 0-1
DATA_SOURCE 0 pfns $0
DATA_SOURCE 1 pages $1
DATA_SOURCE 2 start_index $2
DATA_SOURCE 3 last_index $3
PARAM_COMPARE 2 start_index <= $3
PARAM_COMPARE 3 last_index >= $2
PARAM_COMPARE 3 last_index >= $2
RX_PATH
TASK_NOT_RUNNING
UNITS 2 start_index unit_page
UNITS 3 last_index unit_page
HALF_LOCKED2 &access->ioas_lock
HALF_LOCKED2 &ioas->mutex
HALF_LOCKED2 &iopt->domains_rwsem
HALF_LOCKED2 &iopt->iova_rwsem
HALF_LOCKED2 _T->lock
HALF_LOCKED2 1 &pages->mutex