Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/hugetlb.c hugetlb_install_folio() -> make_huge_pte()

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->flags.__vma_flags 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_end 1073741824-u64max
PARAM_VALUE 0 vma->vm_file 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_mm 4096-ptr_max
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.magic 4096-ptr_max
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->ioctx_table 0
PARAM_VALUE 0 vma->vm_mm->iommu_mm 0
PARAM_VALUE 0 vma->vm_mm->iommu_mm->pasid 0-4294967295
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.magic 4096-ptr_max
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 18379471554275704832,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->uprobes_state.xol_area 0
PARAM_VALUE 0 vma->vm_mm->vma_writer_wait.task 0
PARAM_VALUE 0 vma->vm_ops 0,4096-ptr_max
PARAM_VALUE 0 vma->vm_ops->access 0,4096-ptr_max
PARAM_VALUE 0 vma->vm_ops->close 0,4096-ptr_max
PARAM_VALUE 0 vma->vm_ops->fault 0,4096-ptr_max
PARAM_VALUE 0 vma->vm_ops->find_normal_page 0,7701293790578647040
PARAM_VALUE 0 vma->vm_ops->get_policy 0,4616414333962629120,4828607683292463104,8976238440117981184
PARAM_VALUE 0 vma->vm_ops->huge_fault 0,4096-ptr_max
PARAM_VALUE 0 vma->vm_ops->map_pages 0,3176874211750576128,5698041470598119424
PARAM_VALUE 0 vma->vm_ops->mapped 0,2789832010611625984,3142991724353884160,4592370608720261120,7407017443569868800
PARAM_VALUE 0 vma->vm_ops->may_split 0,4096-ptr_max
PARAM_VALUE 0 vma->vm_ops->mprotect 0,1325936775103746048
PARAM_VALUE 0 vma->vm_ops->mremap 0,3413040981811294208,4989069621795885056,4994350079563595776,5833245582275645440,6365626294419795968
PARAM_VALUE 0 vma->vm_ops->name 0,4895095206942478336,8589198899344281600
PARAM_VALUE 0 vma->vm_ops->open 0,4096-ptr_max
PARAM_VALUE 0 vma->vm_ops->page_mkwrite 0,4096-ptr_max
PARAM_VALUE 0 vma->vm_ops->pagesize 0,1990568509668610048,3507690403222872064,7130740471179698176
PARAM_VALUE 0 vma->vm_ops->pfn_mkwrite 0,612326616561868800,6156956592968101888,7842464310733856768,8888598022343528448,8992640491671437312,9170345393898926080
PARAM_VALUE 0 vma->vm_ops->set_policy 0,1009606358897582080,5296408793753837568,9131342062321688576
PARAM_VALUE 0 vma->vm_ops->uffd_ops 0,2881150691235323904,7418773112577396736
PARAM_VALUE 0 vma->vm_policy 0,4096-ptr_max
PARAM_VALUE 0 vma->vm_refcnt.refs.counter 0-1
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 1 folio 4096-ptr_max
PARAM_VALUE 1 folio->lru.next->prev 4096-ptr_max
PARAM_VALUE 1 folio->lru.prev->next 4096-ptr_max
PARAM_VALUE 1 folio->memcg_data 4096-18446744073709547520
PARAM_VALUE 1 folio->page._refcount.counter 1
PARAM_VALUE 2 try_mkwrite 1
CAPPED_DATA 0 vma 1
CAPPED_DATA 0 vma->vm_mm->mm_id 1
DATA_SOURCE 0 vma $0
DATA_SOURCE 1 folio $3
TERMINATED 0 vma->vm_mm->mm_lock_seq.dep_map.name 1
TERMINATED 0 vma->vm_mm->write_protect_seq.dep_map.name 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 vma->vm_start
UNITS 0 vma unit_byte
LOCK2 &mm->mmap_lock
LOCK2 &oldmm->mmap_lock
LOCK2 src_ptl
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/hugetlb.c hugetlb_mfill_atomic_pte() -> make_huge_pte()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->anon_vma 1-u64max
PARAM_VALUE 0 vma->flags.__vma_flags 4096-ptr_max
PARAM_VALUE 0 vma->vm_end 1073741824-u64max
PARAM_VALUE 0 vma->vm_file 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_mm->vma_writer_wait.task->sched_class->uclamp_enabled 0-1
PARAM_VALUE 0 vma->vm_ops 4096-ptr_max
PARAM_VALUE 0 vma->vm_ops->pagesize 1-u64max
PARAM_VALUE 0 vma->vm_refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 vma->vm_userfaultfd_ctx.ctx 1-u64max
PARAM_VALUE 1 folio 4096-ptr_max
PARAM_VALUE 1 folio->_entire_mapcount.counter 0
PARAM_VALUE 1 folio->_large_mapcount.counter 0
PARAM_VALUE 1 folio->lru.next->prev 4096-ptr_max
PARAM_VALUE 1 folio->lru.prev->next 4096-ptr_max
PARAM_VALUE 1 folio->memcg_data 4096-18446744073709547520
PARAM_VALUE 1 folio->page.flags.f 0-18446744073709551614
CAPPED_DATA 0 vma 1
CAPPED_DATA 1 folio 1
DATA_SOURCE 0 vma $1
PREEMPT_ADD <- disables preempt
USER_DATA 0 vma->vm_policy->flags 0,24,8192-57368[c]
USER_DATA 0 vma->vm_policy->home_node 0-1023
USER_DATA 1 folio->mapping->writeback_index 0-524287[c]
LOCK2 &state.ctx->map_changing_lock
HALF_LOCKED2 &ctx->map_changing_lock
TYPE_LOCK (struct userfaultfd_ctx)->map_changing_lock

mm/hugetlb.c hugetlb_no_page() -> make_huge_pte()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->vm_file 4096-ptr_max
PARAM_VALUE 1 folio 4096-ptr_max
CAPPED_DATA 1 folio 1
BIT_INFO 2 try_mkwrite 0x0,0x8
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 vma->vm_policy->flags 0,24,8192-57368[c]
USER_DATA 0 vma->vm_policy->home_node 0-1023
USER_DATA 1 folio->mapping->writeback_index 0-524287[c]
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &pool->lock

mm/hugetlb.c hugetlb_wp() -> make_huge_pte()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->vm_file 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_mm 4096-ptr_max
PARAM_VALUE 0 vma->vm_ops 0,4096-ptr_max
PARAM_VALUE 1 folio 4096-ptr_max
PARAM_VALUE 1 folio->lru.next->prev 4096-ptr_max
PARAM_VALUE 1 folio->lru.prev->next 4096-ptr_max
PARAM_VALUE 1 folio->memcg_data 4096-18446744073709547520
PARAM_VALUE 1 folio->page._refcount.counter 1
DATA_SOURCE 1 folio r alloc_hugetlb_folio
BIT_INFO 0 vma->vm_flags 0x0,0xffffffffffffff7f
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 vma->vm_policy->flags 0,24,8192-57368[c]
USER_DATA 0 vma->vm_policy->home_node 0-1023
LOCK2 vmf->ptl
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &pool->lock