Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/proc/task_mmu.c smaps_pte_range() -> smaps_pte_entry()

Type Parameter Key Value
PARAM_VALUE 0 pte 4096-u64max
PARAM_VALUE 1 addr 1-u64max
PARAM_VALUE 2 walk 934117422026317824,1279922888269873152,1310508832541999104,2012229525240504320,2343066501102768128,3052856833091633152
PARAM_VALUE 2 walk->action 0
PARAM_VALUE 2 walk->mm 4096-ptr_max
PARAM_VALUE 2 walk->ops 4096-ptr_max
PARAM_VALUE 2 walk->ops->install_pte 0,1044397068690849792
PARAM_VALUE 2 walk->ops->p4d_entry 0,2588602558124785664,5328599830014066688
PARAM_VALUE 2 walk->ops->pgd_entry 0,2040133486307762176
PARAM_VALUE 2 walk->ops->pmd_entry 0,4096-ptr_max
PARAM_VALUE 2 walk->ops->pre_vma 0,4646808277758689280
PARAM_VALUE 2 walk->ops->pte_entry 0,4096-ptr_max
PARAM_VALUE 2 walk->ops->pte_hole 0,4096-ptr_max
PARAM_VALUE 2 walk->ops->pud_entry 0,2135835840930992128,2911698571973591040,4830051540000333824,6221809454653681664,8307952805542096896
PARAM_VALUE 2 walk->vma 4096-ptr_max
PARAM_VALUE 2 walk->vma->flags.__vma_flags 4096-ptr_max
PARAM_VALUE 2 walk->vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 2 walk->vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type 0-1
BUF_SIZE 2 walk->mm s32min-(-1),1-s32max
BUF_SIZE 2 walk->private (-1),4,8,16,24,56,64,128,152,216,8248
CAPPED_DATA 2 walk->vma 1
DATA_SOURCE 1 addr $1 [m]
DATA_SOURCE 2 walk $3
BIT_INFO 2 walk->ops 0x0,0x7fffffffffffffff
NOSPEC 1 addr
NOSPEC 1 addr
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 addr 1-u64max[c]
USER_DATA 2 walk->private 4096-ptr_max[u]
NO_OVERFLOW_SIMPLE 2 walk->vma->vm_end
NO_OVERFLOW_SIMPLE 2 walk->vma->vm_start
LOCK2 ptl
HALF_LOCKED2 &mm->mmap_lock