Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/iommufd/pages.c iopt_pages_update_pinned() -> update_mm_locked_vm()

Type Parameter Key Value
PARAM_VALUE 0 pages 4096-ptr_max
PARAM_VALUE 0 pages->account_mode 2
PARAM_VALUE 0 pages->source_mm->mmap_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 pages->source_mm->mmap_lock.first_waiter->type 0-1
PARAM_VALUE 3 user 0,6270772229982597336,8717662312254873816,8931018345647517696
PARAM_VALUE 3 user->gup_flags 256-257
DATA_SOURCE 0 pages $0
DATA_SOURCE 1 npages $1
DATA_SOURCE 2 inc $2
DATA_SOURCE 3 user $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 npages unit_page
HALF_LOCKED2 &ictx->ioas_creation_lock
HALF_LOCKED2 0 &pages->mutex