Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/pagewalk.c __walk_page_range() -> (struct mm_walk_ops)->post_vma()

Type Parameter Key Value
PARAM_VALUE 0 walk 934117422026317824,1310508832541999104,2343066501102768128,3052856833091633152
PARAM_VALUE 0 walk->action 0-2
PARAM_VALUE 0 walk->no_vma 0
PARAM_VALUE 0 walk->ops 4096-ptr_max
PARAM_VALUE 0 walk->ops->hugetlb_entry 0,4096-ptr_max
PARAM_VALUE 0 walk->ops->install_pte 0,1044397068690849792
PARAM_VALUE 0 walk->ops->p4d_entry 0,4096-ptr_max
PARAM_VALUE 0 walk->ops->pgd_entry 0,4096-ptr_max
PARAM_VALUE 0 walk->ops->pmd_entry 0,4096-ptr_max
PARAM_VALUE 0 walk->ops->post_vma 787391506063646720
PARAM_VALUE 0 walk->ops->pre_vma 0,4646808277758689280
PARAM_VALUE 0 walk->ops->pte_entry 0,4096-ptr_max
PARAM_VALUE 0 walk->ops->pte_hole 0,4096-ptr_max
PARAM_VALUE 0 walk->ops->pud_entry 0,4096-ptr_max
PARAM_VALUE 0 walk->pgd 0
PARAM_VALUE 0 walk->vma 0,4096-ptr_max
PARAM_VALUE 0 walk->vma->flags.__vma_flags 4096-ptr_max
PARAM_VALUE 0 walk->vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 walk->vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 *walk->private->range->hmm_pfns 0,2305843009213693952
CAPPED_DATA 0 walk->vma 1
DATA_SOURCE 0 walk $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 walk->private 4096-ptr_max[u]
USER_DATA 0 walk->private->addr s64min-s64max[c]
USER_DATA 0 walk->private->arg.walk_end s64min-s64max[c]
USER_DATA 0 walk->private->end 1-4294967295[c]
USER_DATA 0 walk->private->start s64min-s64max[c]
USER_DATA 0 walk->private->tk.addr s64min-s64max[c]
USER_DATA 0 walk->private->tlb->start s64min-s64max[c]
USER_DATA 0 walk->private->tlbflush_start 0-s32max[c]
USER_DATA 0 *walk->private s64min-s64max[c]
HALF_LOCKED2 &m->lock
HALF_LOCKED2 &mapping->i_mmap_rwsem