Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/mempolicy.c queue_folios_pte_range() -> queue_folios_pmd()

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