Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/pagewalk.c walk_p4d_range() -> (struct mm_walk_ops)->p4d_entry()

Type Parameter Key Value
PARAM_VALUE 0 p4d 4096-ptr_max
PARAM_VALUE 2 next 0
PARAM_VALUE 3 walk 934117422026317824,1279922888269873152,1310508832541999104,2012229525240504320,2343066501102768128,3052856833091633152
PARAM_VALUE 3 walk->action 0-2
PARAM_VALUE 3 walk->mm 4096-ptr_max
PARAM_VALUE 3 walk->ops 4096-ptr_max
PARAM_VALUE 3 walk->ops->install_pte 0,1044397068690849792
PARAM_VALUE 3 walk->ops->p4d_entry 0,2588602558124785664,5328599830014066688
PARAM_VALUE 3 walk->ops->pgd_entry 0,2040133486307762176
PARAM_VALUE 3 walk->ops->pmd_entry 0,4096-ptr_max
PARAM_VALUE 3 walk->ops->pre_vma 0,4646808277758689280
PARAM_VALUE 3 walk->ops->pte_entry 0,4096-ptr_max
PARAM_VALUE 3 walk->ops->pte_hole 0,4096-ptr_max
PARAM_VALUE 3 walk->ops->pud_entry 0,2118803419108319232,2135835840930992128,2911698571973591040,4830051540000333824,6221809454653681664,8307952805542096896
PARAM_VALUE 3 walk->vma 0,4096-ptr_max
PARAM_VALUE 3 walk->vma->flags.__vma_flags 4096-ptr_max
PARAM_VALUE 3 walk->vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 3 walk->vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type 0-1
BUF_SIZE 3 walk->mm s32min-(-1),1-s32max
BUF_SIZE 3 walk->private (-1),4,8,16,24,40,56,64,128,152,216,8248
CAPPED_DATA 3 walk->vma 1
DATA_SOURCE 1 addr $1 [m]
DATA_SOURCE 3 walk $3
CONTAINER 3 -8-0+0 $(-1)
PARAM_COMPARE 1 addr >= $2
PARAM_COMPARE 1 addr >= $2
BIT_INFO 3 walk->ops 0x0,0x7fffffffffffffff
NOSPEC 1 addr
NOSPEC 1 addr
NOSPEC 2 next
NOSPEC 2 next
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 addr 0-u64max[c]
USER_DATA 2 next 0[c]
USER_DATA 3 walk->private 4096-ptr_max[u]
USER_DATA 3 walk->private->arg.walk_end s64min-s64max[c]
USER_DATA 3 walk->private->end 1-4294967295[c]
USER_DATA 3 walk->private->start s64min-s64max[c]
USER_DATA 3 walk->private->tlb->start s64min-s64max[c]
USER_DATA 3 walk->private->tlbflush_start 0-s32max[c]
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 global &init_mm.mmap_lock