Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/iommu/iommufd/io_pagetable.c iopt_free_pages_list() -> iopt_put_pages()

Type Parameter Key Value
NOCHECK_CALL

drivers/iommu/iommufd/io_pagetable.c iopt_map_common() -> iopt_put_pages()

Type Parameter Key Value
PARAM_VALUE 0 pages 4096-ptr_max
PARAM_VALUE 0 pages->account_mode 0-2
PARAM_VALUE 0 pages->kref.refcount.refs.counter 1
PARAM_VALUE 0 pages->mutex.first_waiter 0
PARAM_VALUE 0 pages->mutex.magic 4096-ptr_max
PARAM_VALUE 0 pages->mutex.osq.tail.counter 0
PARAM_VALUE 0 pages->mutex.owner.counter 0
PARAM_VALUE 0 pages->pinned_pfns.xa_flags 32
PARAM_VALUE 0 pages->pinned_pfns.xa_head 0
PARAM_VALUE 0 pages->source_mm 4096-ptr_max
PARAM_VALUE 0 pages->type 0-2
PARAM_VALUE 0 pages->writable 0
BUF_SIZE 0 pages 392
DATA_SOURCE 0 pages $2
FUZZY_MAX 0 pages->account_mode 2
NOCHECK_CALL

drivers/iommu/iommufd/io_pagetable.c iopt_unmap_iova_range() -> iopt_put_pages()

Type Parameter Key Value
PARAM_VALUE 0 pages 4096-ptr_max
PARAM_VALUE 0 pages->source_mm->binfmt->module->refcnt.counter 0-s32max
PARAM_VALUE 0 pages->source_mm->context.global_asid 0
PARAM_VALUE 0 pages->source_mm->context.ldt 0
PARAM_VALUE 0 pages->source_mm->exe_file 0
PARAM_VALUE 0 pages->source_mm->exe_file->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 pages->source_mm->exe_file->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 pages->source_mm->exe_file->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 pages->source_mm->exe_file->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 pages->source_mm->exe_file->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 pages->source_mm->exe_file->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 pages->source_mm->exe_file->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 pages->source_mm->exe_file->f_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 pages->source_mm->exe_file->f_cred->user->uidhash_node.next->pprev 1-u64max
PARAM_VALUE 0 pages->source_mm->exe_file->f_task_work.func 5179756662909861888
PARAM_VALUE 0 pages->source_mm->exe_file->f_task_work.next 0-7661163036167163903,7661163036167163905-u64max
PARAM_VALUE 0 pages->source_mm->ioctx_table 0
PARAM_VALUE 0 pages->source_mm->lru_gen.list.next->prev 4096-ptr_max
PARAM_VALUE 0 pages->source_mm->lru_gen.list.prev->next 4096-ptr_max
PARAM_VALUE 0 pages->source_mm->mm_cid.pcpu 0
PARAM_VALUE 0 pages->source_mm->mm_id 0
PARAM_VALUE 0 pages->source_mm->mm_mt.ma_root 0
PARAM_VALUE 0 pages->source_mm->mmap_lock.dep_map->name 0-255
PARAM_VALUE 0 pages->source_mm->mmap_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 pages->source_mm->mmap_lock.first_waiter->list.next 2212933610777083904,2624917664208203776
PARAM_VALUE 0 pages->source_mm->mmap_lock.first_waiter->list.prev 2212933610777083904,2624917664208203776
PARAM_VALUE 0 pages->source_mm->mmap_lock.first_waiter->type 0-1
PARAM_VALUE 0 pages->source_mm->mmap_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 pages->source_mm->sc_stat.pcpu_sched 0
PARAM_VALUE 0 *pages->source_mm->exe_file->f_cred->user->uidhash_node.next->pprev 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &iopt->domains_rwsem
TYPE_LOCK (struct io_pagetable)->domains_rwsem

drivers/iommu/iommufd/pages.c iopt_alloc_dmabuf_pages() -> iopt_put_pages()

Type Parameter Key Value
PARAM_VALUE 0 pages 4096-ptr_max
PARAM_VALUE 0 pages->account_mode 0
PARAM_VALUE 0 pages->dmabuf.tracker.next 4096-ptr_max
PARAM_VALUE 0 pages->dmabuf.tracker.next->next 4096-ptr_max
PARAM_VALUE 0 pages->dmabuf.tracker.prev 4096-ptr_max
PARAM_VALUE 0 pages->dmabuf.tracker.prev->next 4096-ptr_max
PARAM_VALUE 0 pages->dmabuf.tracker.prev->prev 4096-ptr_max
PARAM_VALUE 0 pages->kref.refcount.refs.counter 1
PARAM_VALUE 0 pages->mutex.dep_map->name 0-255
PARAM_VALUE 0 pages->pinned_pfns.xa_flags 32
PARAM_VALUE 0 pages->pinned_pfns.xa_head 0
PARAM_VALUE 0 pages->source_mm 4096-ptr_max
PARAM_VALUE 0 pages->type 2
BUF_SIZE 0 pages 392
DATA_SOURCE 0 pages r iopt_alloc_pages
NOCHECK_CALL