Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/iommufd/pages.c pfn_reader_user_pin() -> pin_memfd_pages()

Type Parameter Key Value
PARAM_VALUE 0 user 5386030719981474008,6270772229982597336,8717662312254873816,8931018345647517696
PARAM_VALUE 0 user->file 1-u64max
PARAM_VALUE 0 user->gup_flags 256-257
PARAM_VALUE 0 user->locked s32min-(-2),0-s32max
PARAM_VALUE 0 user->ufolios 1-u64max
BUF_SIZE 0 user (-1),80
BUF_SIZE 0 user (-1),80
BUF_SIZE 0 user->ufolios (-1),1-s32max
CAPPED_DATA 2 npages 1
CAPPED_DATA 2 npages 1
DATA_SOURCE 0 user $0
FUZZY_MAX 0 user->locked 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 start unit_byte
UNITS 2 npages unit_byte
HALF_LOCKED2 &access->ioas_lock
HALF_LOCKED2 &iopt->iova_rwsem
HALF_LOCKED2 &pages->mutex