Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/vmscan.c walk_pmd_range() -> walk_pmd_range_locked()

Type Parameter Key Value
PARAM_VALUE 0 pud 3954225659155398656
PARAM_VALUE 2 vma 4096-ptr_max
PARAM_VALUE 3 args 2092566388040949760
PARAM_VALUE 3 args->action 0-2
PARAM_VALUE 3 args->mm 4096-ptr_max
PARAM_VALUE 3 args->ops 6231453082019635200
PARAM_VALUE 3 args->ops->install_pte 0,1044397068690849792
PARAM_VALUE 3 args->ops->p4d_entry 0,2588602558124785664,5328599830014066688
PARAM_VALUE 3 args->ops->pgd_entry 0,2040133486307762176
PARAM_VALUE 3 args->ops->pmd_entry 0,4096-ptr_max
PARAM_VALUE 3 args->ops->pre_vma 0,4646808277758689280
PARAM_VALUE 3 args->ops->pte_entry 0,4096-ptr_max
PARAM_VALUE 3 args->ops->pte_hole 0,4096-ptr_max
PARAM_VALUE 3 args->ops->pud_entry 0,2135835840930992128,2911698571973591040,4830051540000333824,6221809454653681664,8307952805542096896
PARAM_VALUE 3 args->private 4096-ptr_max
PARAM_VALUE 3 args->vma 4096-ptr_max
PARAM_VALUE 3 args->vma->flags.__vma_flags 4096-ptr_max
PARAM_VALUE 3 args->vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 3 args->vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 4 bitmap 5880030579846717440
PARAM_VALUE 5 first 5959234005154308096
PARAM_VALUE 5 *first u64max
BUF_SIZE 3 args->mm s32min-(-1),1-s32max
BUF_SIZE 3 args->private (-1),4,8,16,24,56,64,128,152,216,8248
CAPPED_DATA 2 vma->vm_start 1
DATA_SOURCE 0 pud $0
DATA_SOURCE 3 args $3
NOSPEC 1 addr
NOSPEC 1 addr
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 addr 0-u64max[c]
USER_DATA 3 args->private 4096-ptr_max[u]
USER_DATA 5 *first u64max[c]
NO_OVERFLOW_SIMPLE 2 vma->vm_pgoff
NO_OVERFLOW_SIMPLE 2 vma->vm_start
NO_OVERFLOW_SIMPLE 3 args->vma->vm_pgoff
NO_OVERFLOW_SIMPLE 3 args->vma->vm_start
USER_PTR 5 first
HALF_LOCKED2 &mm->mmap_lock

mm/vmscan.c walk_pmd_range() -> walk_pmd_range_locked()

Type Parameter Key Value
PARAM_VALUE 0 pud 3954225659155398656
PARAM_VALUE 2 vma 0,4096-ptr_max
PARAM_VALUE 3 args 2092566388040949760
PARAM_VALUE 3 args->action 0-2
PARAM_VALUE 3 args->mm 4096-ptr_max
PARAM_VALUE 3 args->mm->notifier_subscriptions 0
PARAM_VALUE 3 args->ops 6231453082019635200
PARAM_VALUE 3 args->ops->install_pte 0,1044397068690849792
PARAM_VALUE 3 args->ops->p4d_entry 0,2588602558124785664,5328599830014066688
PARAM_VALUE 3 args->ops->pgd_entry 0,2040133486307762176
PARAM_VALUE 3 args->ops->pmd_entry 0,4096-ptr_max
PARAM_VALUE 3 args->ops->pre_vma 0,4646808277758689280
PARAM_VALUE 3 args->ops->pte_entry 0,4096-ptr_max
PARAM_VALUE 3 args->ops->pte_hole 0,4096-ptr_max
PARAM_VALUE 3 args->ops->pud_entry 0,2135835840930992128,2911698571973591040,4830051540000333824,6221809454653681664,8307952805542096896
PARAM_VALUE 3 args->private 4096-ptr_max
PARAM_VALUE 3 args->vma 0,4096-ptr_max
PARAM_VALUE 3 args->vma->flags.__vma_flags 4096-ptr_max
PARAM_VALUE 3 args->vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 3 args->vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 4 bitmap 5880030579846717440
PARAM_VALUE 5 first 5959234005154308096
PARAM_VALUE 5 *first u64max
BUF_SIZE 3 args->mm s32min-(-1),1-s32max
BUF_SIZE 3 args->private (-1),4,8,16,24,56,64,128,152,216,8248
DATA_SOURCE 0 pud $0
DATA_SOURCE 3 args $3
NOSPEC 1 addr
NOSPEC 1 addr
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 addr 0-u64max[c]
USER_DATA 3 args->private 4096-ptr_max[u]
USER_DATA 5 *first u64max[c]
NO_OVERFLOW_SIMPLE 2 vma->vm_pgoff
NO_OVERFLOW_SIMPLE 2 vma->vm_start
NO_OVERFLOW_SIMPLE 3 args->vma->vm_pgoff
NO_OVERFLOW_SIMPLE 3 args->vma->vm_start
USER_PTR 5 first
HALF_LOCKED2 &mm->mmap_lock

mm/vmscan.c walk_pmd_range() -> walk_pmd_range_locked()

Type Parameter Key Value
PARAM_VALUE 0 pud 3954225659155398656
PARAM_VALUE 1 addr u64max
PARAM_VALUE 2 vma 0,4096-ptr_max
PARAM_VALUE 3 args 2092566388040949760
PARAM_VALUE 3 args->action 0-2
PARAM_VALUE 3 args->mm 4096-ptr_max
PARAM_VALUE 3 args->ops 6231453082019635200
PARAM_VALUE 3 args->ops->install_pte 0,1044397068690849792
PARAM_VALUE 3 args->ops->p4d_entry 0,2588602558124785664,5328599830014066688
PARAM_VALUE 3 args->ops->pgd_entry 0,2040133486307762176
PARAM_VALUE 3 args->ops->pmd_entry 0,4096-ptr_max
PARAM_VALUE 3 args->ops->pre_vma 0,4646808277758689280
PARAM_VALUE 3 args->ops->pte_entry 0,4096-ptr_max
PARAM_VALUE 3 args->ops->pte_hole 0,4096-ptr_max
PARAM_VALUE 3 args->ops->pud_entry 0,2135835840930992128,2911698571973591040,4830051540000333824,6221809454653681664,8307952805542096896
PARAM_VALUE 3 args->private 4096-ptr_max
PARAM_VALUE 3 args->vma 0,4096-ptr_max
PARAM_VALUE 3 args->vma->flags.__vma_flags 4096-ptr_max
PARAM_VALUE 3 args->vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 3 args->vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 4 bitmap 5880030579846717440
PARAM_VALUE 5 first 5959234005154308096
BUF_SIZE 3 args->mm s32min-(-1),1-s32max
BUF_SIZE 3 args->private (-1),4,8,16,24,56,64,128,152,216,8248
DATA_SOURCE 0 pud $0
DATA_SOURCE 3 args $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 3 args->private 4096-ptr_max[u]
USER_DATA 5 *first 0-u64max[c]
NO_OVERFLOW_SIMPLE 2 vma->vm_pgoff
NO_OVERFLOW_SIMPLE 2 vma->vm_start
NO_OVERFLOW_SIMPLE 3 args->vma->vm_pgoff
NO_OVERFLOW_SIMPLE 3 args->vma->vm_start
USER_PTR 5 first
HALF_LOCKED2 &mm->mmap_lock