Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/userfaultfd.c dup_userfaultfd() -> userfaultfd_reset_ctx()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->anon_name 0,4096-ptr_max
PARAM_VALUE 0 vma->anon_vma_chain.next 4096-ptr_max
PARAM_VALUE 0 vma->anon_vma_chain.next->next 4096-ptr_max
PARAM_VALUE 0 vma->anon_vma_chain.prev 4096-ptr_max
PARAM_VALUE 0 vma->anon_vma_chain.prev->next 4096-ptr_max
PARAM_VALUE 0 vma->anon_vma_chain.prev->prev 4096-ptr_max
PARAM_VALUE 0 vma->numab_state 0
PARAM_VALUE 0 vma->pfnmap_track_ctx 0,4096-ptr_max
PARAM_VALUE 0 vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 vma->vm_lock_seq u32max
PARAM_VALUE 0 vma->vm_mm 4096-ptr_max
PARAM_VALUE 0 vma->vm_mm->context.execute_only_pkey (-1)
PARAM_VALUE 0 vma->vm_mm->context.ldt 0
PARAM_VALUE 0 vma->vm_mm->context.ldt_usr_sem.magic 4096-ptr_max
PARAM_VALUE 0 vma->vm_mm->context.lock.first_waiter 0
PARAM_VALUE 0 vma->vm_mm->context.lock.magic 4096-ptr_max
PARAM_VALUE 0 vma->vm_mm->context.lock.owner.counter 0
PARAM_VALUE 0 vma->vm_mm->context.pkey_allocation_map 1
PARAM_VALUE 0 vma->vm_mm->context.tlb_gen.counter 0
PARAM_VALUE 0 vma->vm_mm->context.untag_mask u64max
PARAM_VALUE 0 vma->vm_mm->def_flags 0,1073741824
PARAM_VALUE 0 vma->vm_mm->exe_file 0,4096-ptr_max
PARAM_VALUE 0 vma->vm_mm->hugetlb_usage.counter 0
PARAM_VALUE 0 vma->vm_mm->ioctx_table 0
PARAM_VALUE 0 vma->vm_mm->iommu_mm 0
PARAM_VALUE 0 vma->vm_mm->locked_vm 0
PARAM_VALUE 0 vma->vm_mm->lru_gen.bitmap 0
PARAM_VALUE 0 vma->vm_mm->lru_gen.memcg 0
PARAM_VALUE 0 vma->vm_mm->map_count 0-s32max
PARAM_VALUE 0 vma->vm_mm->mm_cid.lock.magic 3735899821
PARAM_VALUE 0 vma->vm_mm->mm_cid.lock.owner (-1)
PARAM_VALUE 0 vma->vm_mm->mm_cid.lock.owner_cpu u32max
PARAM_VALUE 0 vma->vm_mm->mm_cid.max_cids 0
PARAM_VALUE 0 vma->vm_mm->mm_cid.mode 0
PARAM_VALUE 0 vma->vm_mm->mm_cid.mutex.first_waiter 0
PARAM_VALUE 0 vma->vm_mm->mm_cid.mutex.magic 4096-ptr_max
PARAM_VALUE 0 vma->vm_mm->mm_cid.mutex.owner.counter 0
PARAM_VALUE 0 vma->vm_mm->mm_cid.pcpu 4096-ptr_max
PARAM_VALUE 0 vma->vm_mm->mm_cid.pcpu_thrs 0
PARAM_VALUE 0 vma->vm_mm->mm_cid.update_deferred 0
PARAM_VALUE 0 vma->vm_mm->mm_cid.users 0
PARAM_VALUE 0 vma->vm_mm->mm_count.counter 1
PARAM_VALUE 0 vma->vm_mm->mm_id 0-s32max
PARAM_VALUE 0 vma->vm_mm->mm_mt.ma_flags 771
PARAM_VALUE 0 vma->vm_mm->mm_mt.ma_root 0
PARAM_VALUE 0 vma->vm_mm->mm_users.counter 1
PARAM_VALUE 0 vma->vm_mm->mmap_lock.count.counter 0
PARAM_VALUE 0 vma->vm_mm->mmap_lock.first_waiter 0
PARAM_VALUE 0 vma->vm_mm->mmap_lock.magic 4096-ptr_max
PARAM_VALUE 0 vma->vm_mm->mmap_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 vma->vm_mm->mmap_lock.owner.counter 0
PARAM_VALUE 0 vma->vm_mm->notifier_subscriptions 0
PARAM_VALUE 0 vma->vm_mm->owner 4096-ptr_max
PARAM_VALUE 0 vma->vm_mm->pgd 18446612682070032384
PARAM_VALUE 0 vma->vm_mm->pinned_vm.counter 0
PARAM_VALUE 0 vma->vm_mm->sc_stat.cpu (-1)
PARAM_VALUE 0 vma->vm_mm->sc_stat.footprint 0
PARAM_VALUE 0 vma->vm_mm->sc_stat.lock.magic 3735899821
PARAM_VALUE 0 vma->vm_mm->sc_stat.lock.owner (-1)
PARAM_VALUE 0 vma->vm_mm->sc_stat.lock.owner_cpu u32max
PARAM_VALUE 0 vma->vm_mm->sc_stat.nr_running_avg 0
PARAM_VALUE 0 vma->vm_mm->sc_stat.pcpu_sched 4096-ptr_max
PARAM_VALUE 0 vma->vm_mm->tlb_flush_pending.counter 0
PARAM_VALUE 0 vma->vm_mm->uprobes_state.xol_area 0
PARAM_VALUE 0 vma->vm_mm->vma_writer_wait.task 0
PARAM_VALUE 0 vma->vm_mm->write_protect_seq.sequence 0
PARAM_VALUE 0 vma->vm_policy 0,4096-ptr_max
PARAM_VALUE 0 vma->vm_policy->refcnt.counter 1
PARAM_VALUE 0 vma->vm_refcnt.refs.counter 0
PARAM_VALUE 0 vma->vm_userfaultfd_ctx.ctx 4096-ptr_max
PARAM_VALUE 0 vma->vm_userfaultfd_ctx.ctx->map_changing_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 vma->vm_userfaultfd_ctx.ctx->map_changing_lock.first_waiter->type 0-1
PARAM_VALUE 0 vma->vmlock_dep_map->name 0-255
PARAM_VALUE 0 vma->vmlock_dep_map.cpu 0
PARAM_VALUE 0 vma->vmlock_dep_map.lock_type 0
PARAM_VALUE 0 vma->vmlock_dep_map.wait_type_outer 0
CAPPED_DATA 0 vma->vm_mm->mm_id 1
DATA_SOURCE 0 vma $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 vma->vm_start
UNITS 0 vma unit_byte
LOCK2 &mm->mmap_lock
LOCK2 &oldmm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/userfaultfd.c mremap_userfaultfd_prep() -> userfaultfd_reset_ctx()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->anon_name 0,4096-ptr_max
PARAM_VALUE 0 vma->anon_vma_chain.next 4096-ptr_max
PARAM_VALUE 0 vma->anon_vma_chain.next->next 4096-ptr_max
PARAM_VALUE 0 vma->anon_vma_chain.prev 4096-ptr_max
PARAM_VALUE 0 vma->anon_vma_chain.prev->next 4096-ptr_max
PARAM_VALUE 0 vma->anon_vma_chain.prev->prev 4096-ptr_max
PARAM_VALUE 0 vma->numab_state 0
PARAM_VALUE 0 vma->pfnmap_track_ctx 0,4096-ptr_max
PARAM_VALUE 0 vma->shared.rb.rb_left 0,4096-ptr_max
PARAM_VALUE 0 vma->shared.rb.rb_left->rb_right 0
PARAM_VALUE 0 vma->shared.rb.rb_right 0,4096-ptr_max
PARAM_VALUE 0 vma->shared.rb.rb_right->rb_left 0
PARAM_VALUE 0 vma->vm_file->f_mapping->i_mmap.rb_leftmost 4096-ptr_max
PARAM_VALUE 0 vma->vm_file->f_mapping->i_mmap.rb_root.rb_node 4096-ptr_max
PARAM_VALUE 0 vma->vm_file->f_mapping->i_mmap_rwsem.dep_map->name 0-255
PARAM_VALUE 0 vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set 1
PARAM_VALUE 0 vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 vma->vm_file->f_mapping->i_mmap_rwsem.osq.tail.counter 0-s32max
PARAM_VALUE 0 vma->vm_policy->refcnt.counter 1
PARAM_VALUE 0 vma->vm_refcnt.refs.counter 1
PARAM_VALUE 0 vma->vm_userfaultfd_ctx.ctx 4096-ptr_max
PARAM_VALUE 0 vma->vmlock_dep_map->name 0-255
PARAM_VALUE 0 vma->vmlock_dep_map.cpu 0
PARAM_VALUE 0 vma->vmlock_dep_map.lock_type 0
DATA_SOURCE 0 vma $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 vma->vm_start
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/userfaultfd.c userfaultfd_clear_vma() -> userfaultfd_reset_ctx()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
DATA_SOURCE 0 vma r vma_modify_flags_uffd
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 vma->vm_pgoff 0-4503599627370495[c]
USER_DATA 0 vma->vm_start 1-u64max[c]
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/userfaultfd.c userfaultfd_release_new() -> userfaultfd_reset_ctx()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->vm_userfaultfd_ctx.ctx 4096-ptr_max
CAPPED_DATA 0 vma->vm_userfaultfd_ctx.ctx 1
DATA_SOURCE 0 vma r vma_next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock