Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/memory.c folio_dup_file_rmap_pte() -> __folio_dup_file_rmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 1 | page | 4096-ptr_max |
| PARAM_VALUE | 2 | nr_pages | 1 |
| PARAM_VALUE | 3 | dst_vma | 4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->anon_name | 0,4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->anon_vma_chain.next->next | 4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->anon_vma_chain.prev | 4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->anon_vma_chain.prev->next | 4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->anon_vma_chain.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->numab_state | 0 |
| PARAM_VALUE | 3 | dst_vma->pfnmap_track_ctx | 0,4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->vm_file | 0,4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 3 | dst_vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 3 | dst_vma->vm_mm | 4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->vm_mm->context.ldt | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->context.ldt_usr_sem.magic | 4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->vm_mm->context.lock.magic | 4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->vm_mm->context.tlb_gen.counter | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->context.untag_mask | u64max |
| PARAM_VALUE | 3 | dst_vma->vm_mm->def_flags | 0,1073741824 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->exe_file | 0,4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->vm_mm->hugetlb_usage.counter | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->ioctx_table | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->iommu_mm | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->iommu_mm->pasid | 0-4294967295 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->locked_vm | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->lru_gen.bitmap | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->lru_gen.memcg | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->map_count | 0-s32max |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mm_cid.lock.magic | 3735899821 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mm_cid.lock.owner | (-1) |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mm_cid.lock.owner_cpu | u32max |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mm_cid.max_cids | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mm_cid.mode | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mm_cid.mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mm_cid.pcpu | 1-u64max |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mm_cid.pcpu_thrs | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mm_cid.update_deferred | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mm_cid.users | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mm_count.counter | 1 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mm_id | 0-s32max |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mm_mt.ma_flags | 771 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mm_mt.ma_root | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mm_users.counter | 1 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mmap_lock.count.counter | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mmap_lock.first_waiter | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mmap_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mmap_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mmap_lock.owner.counter | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->notifier_subscriptions | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->owner | 4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->vm_mm->page_table_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->pgd | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->pinned_vm.counter | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->sc_stat.cpu | (-1) |
| PARAM_VALUE | 3 | dst_vma->vm_mm->sc_stat.footprint | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->sc_stat.lock.magic | 3735899821 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->sc_stat.lock.owner | (-1) |
| PARAM_VALUE | 3 | dst_vma->vm_mm->sc_stat.lock.owner_cpu | u32max |
| PARAM_VALUE | 3 | dst_vma->vm_mm->sc_stat.nr_running_avg | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->sc_stat.pcpu_sched | 1-u64max |
| PARAM_VALUE | 3 | dst_vma->vm_mm->uprobes_state.xol_area | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->vma_writer_wait.task | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_ops | 0,4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->vm_ops->open | 0,4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->vm_policy | 0,4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->vm_policy->refcnt.counter | 1 |
| PARAM_VALUE | 3 | dst_vma->vm_refcnt.refs.counter | 0-1 |
| PARAM_VALUE | 3 | dst_vma->vm_userfaultfd_ctx.ctx->map_changing_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 3 | dst_vma->vm_userfaultfd_ctx.ctx->map_changing_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 3 | dst_vma->vmlock_dep_map.cpu | 0 |
| PARAM_VALUE | 3 | dst_vma->vmlock_dep_map.lock_type | 0 |
| PARAM_VALUE | 3 | dst_vma->vmlock_dep_map.wait_type_inner | 0 |
| PARAM_VALUE | 3 | dst_vma->vmlock_dep_map.wait_type_outer | 0 |
| PARAM_VALUE | 4 | level | 0 |
| CAPPED_DATA | 3 | dst_vma->vm_mm->mm_id | 1 |
| DATA_SOURCE | 0 | folio | $0 |
| DATA_SOURCE | 1 | page | $1 |
| DATA_SOURCE | 3 | dst_vma | $2 |
| BIT_INFO | 3 | dst_vma->vm_flags | 0x0,0xfffffffffdffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 3 | dst_vma->vm_start | |
| UNITS | 3 | dst_vma | unit_byte |
| LOCK2 | &mm->mmap_lock | ||
| LOCK2 | &oldmm->mmap_lock | ||
| LOCK2 | dst_ptl | ||
| LOCK2 | rcu_read | ||
| LOCK2 | src_ptl | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/memory.c folio_dup_file_rmap_ptes() -> __folio_dup_file_rmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | folio | 4096-ptr_max |
| PARAM_VALUE | 1 | page | 4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma | 4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->anon_name | 0,4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->anon_vma_chain.next->next | 4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->anon_vma_chain.prev | 4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->anon_vma_chain.prev->next | 4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->anon_vma_chain.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->numab_state | 0 |
| PARAM_VALUE | 3 | dst_vma->pfnmap_track_ctx | 0,4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->vm_file | 0,4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 3 | dst_vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 3 | dst_vma->vm_mm | 4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->vm_mm->context.ldt | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->context.ldt_usr_sem.magic | 4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->vm_mm->context.lock.magic | 4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->vm_mm->context.tlb_gen.counter | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->context.untag_mask | u64max |
| PARAM_VALUE | 3 | dst_vma->vm_mm->def_flags | 0,1073741824 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->exe_file | 0,4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->vm_mm->hugetlb_usage.counter | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->ioctx_table | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->iommu_mm | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->iommu_mm->pasid | 0-4294967295 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->locked_vm | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->lru_gen.bitmap | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->lru_gen.memcg | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->map_count | 0-s32max |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mm_cid.lock.magic | 3735899821 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mm_cid.lock.owner | (-1) |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mm_cid.lock.owner_cpu | u32max |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mm_cid.max_cids | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mm_cid.mode | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mm_cid.mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mm_cid.pcpu | 1-u64max |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mm_cid.pcpu_thrs | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mm_cid.update_deferred | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mm_cid.users | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mm_count.counter | 1 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mm_id | 0-s32max |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mm_mt.ma_flags | 771 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mm_mt.ma_root | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mm_users.counter | 1 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mmap_lock.count.counter | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mmap_lock.first_waiter | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mmap_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mmap_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 3 | dst_vma->vm_mm->mmap_lock.owner.counter | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->notifier_subscriptions | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->owner | 4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->vm_mm->page_table_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->pgd | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->pinned_vm.counter | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->sc_stat.cpu | (-1) |
| PARAM_VALUE | 3 | dst_vma->vm_mm->sc_stat.footprint | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->sc_stat.lock.magic | 3735899821 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->sc_stat.lock.owner | (-1) |
| PARAM_VALUE | 3 | dst_vma->vm_mm->sc_stat.lock.owner_cpu | u32max |
| PARAM_VALUE | 3 | dst_vma->vm_mm->sc_stat.nr_running_avg | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->sc_stat.pcpu_sched | 1-u64max |
| PARAM_VALUE | 3 | dst_vma->vm_mm->uprobes_state.xol_area | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_mm->vma_writer_wait.task | 0 |
| PARAM_VALUE | 3 | dst_vma->vm_ops | 0,4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->vm_ops->open | 0,4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->vm_policy | 0,4096-ptr_max |
| PARAM_VALUE | 3 | dst_vma->vm_policy->refcnt.counter | 1 |
| PARAM_VALUE | 3 | dst_vma->vm_refcnt.refs.counter | 0-1 |
| PARAM_VALUE | 3 | dst_vma->vm_userfaultfd_ctx.ctx->map_changing_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 3 | dst_vma->vm_userfaultfd_ctx.ctx->map_changing_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 3 | dst_vma->vmlock_dep_map.cpu | 0 |
| PARAM_VALUE | 3 | dst_vma->vmlock_dep_map.lock_type | 0 |
| PARAM_VALUE | 3 | dst_vma->vmlock_dep_map.wait_type_inner | 0 |
| PARAM_VALUE | 3 | dst_vma->vmlock_dep_map.wait_type_outer | 0 |
| PARAM_VALUE | 4 | level | 0 |
| CAPPED_DATA | 0 | folio | 1 |
| CAPPED_DATA | 2 | nr_pages | 1 |
| CAPPED_DATA | 3 | dst_vma->vm_mm->mm_id | 1 |
| DATA_SOURCE | 0 | folio | $0 |
| DATA_SOURCE | 1 | page | $1 |
| DATA_SOURCE | 2 | nr_pages | $2 |
| DATA_SOURCE | 3 | dst_vma | $3 |
| BIT_INFO | 3 | dst_vma->vm_flags | 0x0,0xfffffffffdffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 3 | dst_vma->vm_start | |
| UNITS | 3 | dst_vma | unit_byte |
| LOCK2 | &mm->mmap_lock | ||
| LOCK2 | &oldmm->mmap_lock | ||
| LOCK2 | dst_ptl | ||
| LOCK2 | rcu_read | ||
| LOCK2 | src_ptl | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |