Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

arch/x86/kernel/tboot.c map_tboot_page() -> __pte_alloc()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 1 pmd 4096-ptr_max
DATA_SOURCE 1 pmd r pmd_alloc

mm/pagewalk.c walk_pmd_range() -> __pte_alloc()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 1 pmd 4096-ptr_max
BUF_SIZE 0 mm s32min-(-1),1-s32max
BUF_SIZE 0 mm s32min-(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mm unit_byte
HALF_LOCKED2 &mm->mmap_lock

mm/userfaultfd.c mfill_establish_pmd() -> __pte_alloc()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 0 mm->page_table_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 pmd 4096-ptr_max
DATA_SOURCE 1 pmd r mm_alloc_pmd
UNITS 0 mm unit_byte
LOCK2 &state.ctx->map_changing_lock
HALF_LOCKED2 &state->ctx->map_changing_lock
TYPE_LOCK (struct userfaultfd_ctx)->map_changing_lock

mm/userfaultfd.c move_pages() -> __pte_alloc()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 0 mm->mm_users.counter 0-s32max
PARAM_VALUE 0 mm->mmap_lock.dep_map->name 0-255
PARAM_VALUE 0 mm->mmap_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 mm->mmap_lock.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 mm->mmap_lock.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 mm->mmap_lock.first_waiter->type 0-1
PARAM_VALUE 0 mm->page_table_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mm->task_size 1-u64max
PARAM_VALUE 1 pmd 4096-ptr_max
CAPPED_DATA 0 mm 1
UNITS 0 mm unit_byte
LOCK2 &ctx->map_changing_lock
TYPE_LOCK (struct userfaultfd_ctx)->map_changing_lock

mm/userfaultfd.c move_pages() -> __pte_alloc()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 0 mm->mm_users.counter 0-s32max
PARAM_VALUE 0 mm->mmap_lock.dep_map->name 0-255
PARAM_VALUE 0 mm->mmap_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 mm->mmap_lock.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 mm->mmap_lock.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 mm->mmap_lock.first_waiter->type 0-1
PARAM_VALUE 0 mm->page_table_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mm->task_size 1-u64max
PARAM_VALUE 1 pmd 4096-ptr_max
CAPPED_DATA 0 mm 1
DATA_SOURCE 1 pmd r mm_alloc_pmd
UNITS 0 mm unit_byte
LOCK2 &ctx->map_changing_lock
TYPE_LOCK (struct userfaultfd_ctx)->map_changing_lock

mm/mprotect.c change_pmd_range() -> __pte_alloc()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 1 pmd 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mm unit_byte
HALF_LOCKED2 &dst_mm->mmap_lock
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 _T->lock

mm/mprotect.c change_pmd_range() -> __pte_alloc()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 1 pmd 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mm unit_byte
HALF_LOCKED2 &dst_mm->mmap_lock
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 _T->lock

mm/mremap.c move_page_tables() -> __pte_alloc()

Type Parameter Key Value
PARAM_VALUE 1 pmd 4096-ptr_max
DATA_SOURCE 1 pmd r alloc_new_pmd
UNITS 0 mm unit_byte
LOCK2 &mm->mmap_lock
HALF_LOCKED2 &tsk->signal->exec_update_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/migrate_device.c migrate_vma_insert_page() -> __pte_alloc()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 0 mm->page_table_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 pmd 4096-ptr_max
DATA_SOURCE 1 pmd r pmd_alloc
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mm unit_byte
HALF_LOCKED2 &drm->dmem->mutex

mm/memory.c apply_to_pte_range() -> __pte_alloc()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-7138969414219841535,7138969414219841537-ptr_max
PARAM_VALUE 1 pmd 4096-ptr_max
DATA_SOURCE 0 mm $0
DATA_SOURCE 1 pmd $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mm unit_byte
HALF_LOCKED2 flags

mm/memory.c copy_pte_range() -> __pte_alloc()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 0 mm->context.ldt 0
PARAM_VALUE 0 mm->context.ldt_usr_sem.magic 4096-ptr_max
PARAM_VALUE 0 mm->context.lock.magic 4096-ptr_max
PARAM_VALUE 0 mm->context.tlb_gen.counter 0
PARAM_VALUE 0 mm->context.untag_mask u64max
PARAM_VALUE 0 mm->def_flags 0,1073741824
PARAM_VALUE 0 mm->exe_file 0,4096-ptr_max
PARAM_VALUE 0 mm->hugetlb_usage.counter 0
PARAM_VALUE 0 mm->ioctx_table 0
PARAM_VALUE 0 mm->iommu_mm 0
PARAM_VALUE 0 mm->locked_vm 0
PARAM_VALUE 0 mm->lru_gen.bitmap 0
PARAM_VALUE 0 mm->lru_gen.memcg 0
PARAM_VALUE 0 mm->map_count 0-s32max
PARAM_VALUE 0 mm->mm_cid.lock.magic 3735899821
PARAM_VALUE 0 mm->mm_cid.lock.owner (-1)
PARAM_VALUE 0 mm->mm_cid.lock.owner_cpu u32max
PARAM_VALUE 0 mm->mm_cid.max_cids 0
PARAM_VALUE 0 mm->mm_cid.mode 0
PARAM_VALUE 0 mm->mm_cid.mutex.magic 4096-ptr_max
PARAM_VALUE 0 mm->mm_cid.pcpu 4096-ptr_max
PARAM_VALUE 0 mm->mm_cid.pcpu_thrs 0
PARAM_VALUE 0 mm->mm_cid.update_deferred 0
PARAM_VALUE 0 mm->mm_cid.users 0
PARAM_VALUE 0 mm->mm_count.counter 1
PARAM_VALUE 0 mm->mm_id 0-s32max
PARAM_VALUE 0 mm->mm_mt.ma_flags 771
PARAM_VALUE 0 mm->mm_mt.ma_root 0
PARAM_VALUE 0 mm->mm_users.counter 1
PARAM_VALUE 0 mm->mmap_lock.count.counter 0
PARAM_VALUE 0 mm->mmap_lock.first_waiter 0
PARAM_VALUE 0 mm->mmap_lock.magic 4096-ptr_max
PARAM_VALUE 0 mm->mmap_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 mm->mmap_lock.owner.counter 0
PARAM_VALUE 0 mm->notifier_subscriptions 0
PARAM_VALUE 0 mm->owner 4096-ptr_max
PARAM_VALUE 0 mm->pgd 18379471554275704832,18446612682070032384
PARAM_VALUE 0 mm->pinned_vm.counter 0
PARAM_VALUE 0 mm->sc_stat.cpu (-1)
PARAM_VALUE 0 mm->sc_stat.footprint 0
PARAM_VALUE 0 mm->sc_stat.lock.magic 3735899821
PARAM_VALUE 0 mm->sc_stat.lock.owner (-1)
PARAM_VALUE 0 mm->sc_stat.lock.owner_cpu u32max
PARAM_VALUE 0 mm->sc_stat.nr_running_avg 0
PARAM_VALUE 0 mm->sc_stat.pcpu_sched 4096-ptr_max
PARAM_VALUE 0 mm->uprobes_state.xol_area 0
PARAM_VALUE 0 mm->vma_writer_wait.task 0
PARAM_VALUE 1 pmd 4096-ptr_max
BUF_SIZE 0 mm (-1),1-s32max
BUF_SIZE 0 mm (-1),1-s32max
CAPPED_DATA 0 mm->mm_id 1
DATA_SOURCE 1 pmd $2
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mm unit_byte
LOCK2 &mm->mmap_lock
LOCK2 &oldmm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/memory.c do_anonymous_page() -> __pte_alloc()

Type Parameter Key Value
PARAM_VALUE 1 pmd 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mm unit_byte
HALF_LOCKED2 &mm->mmap_lock

mm/memory.c finish_fault() -> __pte_alloc()

Type Parameter Key Value
PARAM_VALUE 1 pmd 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mm unit_byte

mm/memory.c get_locked_pte() -> __pte_alloc()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 0 mm->context.ldt_usr_sem.first_waiter->type 0-1
PARAM_VALUE 0 mm->mmap_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 mm->mmap_lock.first_waiter->type 0-1
PARAM_VALUE 0 mm->page_table_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mm->vma_writer_wait.task->sched_class->uclamp_enabled 0-1
PARAM_VALUE 1 pmd 4096-ptr_max
BUF_SIZE 0 mm (-1)-s32max
BUF_SIZE 0 mm (-1)-s32max
DATA_SOURCE 0 mm $0
DATA_SOURCE 1 pmd r walk_to_pmd
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 mm->context.ldt->nr_entries 1-8192[c]
UNITS 0 mm unit_byte
HALF_LOCKED2 irq
HALF_LOCKED2 0 &mm->context.ldt_usr_sem
HALF_LOCKED2 0 &mm->mmap_lock

mm/memory.c insert_pages() -> __pte_alloc()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 0 mm->page_table_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 pmd 4096-ptr_max
DATA_SOURCE 1 pmd r walk_to_pmd
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mm unit_byte

mm/memory.c remap_pte_range() -> __pte_alloc()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 0 mm->page_table_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 pmd 4096-ptr_max
DATA_SOURCE 0 mm $0
DATA_SOURCE 1 pmd $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mm unit_byte

mm/gup.c follow_pmd_mask() -> __pte_alloc()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 1 pmd 4096-ptr_max
DATA_SOURCE 1 pmd r pmd_offset
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mm unit_byte
HALF_LOCKED2 &mm->mmap_lock

mm/debug_vm_pgtable.c init_args() -> __pte_alloc()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 0 mm->page_table_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 pmd 4096-ptr_max
DATA_SOURCE 0 mm r mm_alloc
DATA_SOURCE 1 pmd r pmd_alloc