Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/pagewalk.c walk_hugetlb_range() -> (struct mm_walk_ops)->hugetlb_entry()

Type Parameter Key Value
PARAM_VALUE 0 pte 4096-ptr_max
PARAM_VALUE 4 walk 934117422026317824,1310508832541999104,2343066501102768128,3052856833091633152
PARAM_VALUE 4 walk->action 0-2
PARAM_VALUE 4 walk->no_vma 0
PARAM_VALUE 4 walk->ops 4096-ptr_max
PARAM_VALUE 4 walk->ops->hugetlb_entry 4096-ptr_max
PARAM_VALUE 4 walk->ops->install_pte 0
PARAM_VALUE 4 walk->ops->pre_vma 0,4646808277758689280
PARAM_VALUE 4 walk->ops->pte_hole 0,628487719654023168,709231564179075072,3638815882446880768,4544569123095990272,4904888130885226496,8747928521055248384,8751955949471588352
PARAM_VALUE 4 walk->pgd 0
PARAM_VALUE 4 walk->vma 4096-ptr_max
PARAM_VALUE 4 walk->vma->flags.__vma_flags 4096-ptr_max
PARAM_VALUE 4 walk->vma->vm_file 4096-ptr_max
PARAM_VALUE 4 walk->vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 4 walk->vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 4 walk->vma->vm_mm 4096-ptr_max
PARAM_VALUE 4 walk->vma->vm_private_data->rw_sema.dep_map->name 0-255
PARAM_VALUE 4 walk->vma->vm_private_data->rw_sema.first_waiter->list.next 2212933610777083904,2624917664208203776
PARAM_VALUE 4 walk->vma->vm_private_data->rw_sema.first_waiter->list.prev 2212933610777083904,2624917664208203776
PARAM_VALUE 4 walk->vma->vm_private_data->rw_sema.first_waiter->type 0-1
CAPPED_DATA 3 end 1
CAPPED_DATA 3 end 1
CAPPED_DATA 4 walk->vma 1
DATA_SOURCE 0 pte r hugetlb_walk
DATA_SOURCE 2 addr $0 [m]
DATA_SOURCE 3 end r hugetlb_entry_end
DATA_SOURCE 4 walk $2
CONTAINER 4 -48-0+0 $(-1)
NOSPEC 2 addr
NOSPEC 2 addr
NOSPEC 3 end
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 addr 0-18446744073709551614[c]
USER_DATA 3 end 1-s32max[c]
USER_DATA 4 walk->private 4096-ptr_max[u]
USER_DATA 4 walk->private->arg.walk_end 0-s64max[c]
HALF_LOCKED2 &m->lock
HALF_LOCKED2 &mapping->i_mmap_rwsem