Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/pagewalk.c walk_hugetlb_range() -> (struct mm_walk_ops)->pte_hole()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | depth | (-1) |
| PARAM_VALUE | 3 | walk | 934117422026317824,1310508832541999104,2343066501102768128,3052856833091633152 |
| PARAM_VALUE | 3 | walk->action | 0-2 |
| PARAM_VALUE | 3 | walk->no_vma | 0 |
| PARAM_VALUE | 3 | walk->ops | 4096-ptr_max |
| PARAM_VALUE | 3 | walk->ops->hugetlb_entry | 4096-ptr_max |
| PARAM_VALUE | 3 | walk->ops->install_pte | 0 |
| PARAM_VALUE | 3 | walk->ops->pre_vma | 0,4646808277758689280 |
| PARAM_VALUE | 3 | walk->ops->pte_hole | 0,4096-ptr_max |
| PARAM_VALUE | 3 | walk->pgd | 0 |
| PARAM_VALUE | 3 | walk->vma | 4096-ptr_max |
| PARAM_VALUE | 3 | walk->vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 3 | walk->vma->vm_file | 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 |
| PARAM_VALUE | 3 | walk->vma->vm_mm | 4096-ptr_max |
| PARAM_VALUE | 3 | walk->vma->vm_private_data->rw_sema.dep_map->name | 0-255 |
| PARAM_VALUE | 3 | walk->vma->vm_private_data->rw_sema.first_waiter->list.next | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 3 | walk->vma->vm_private_data->rw_sema.first_waiter->list.prev | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 3 | walk->vma->vm_private_data->rw_sema.first_waiter->type | 0-1 |
| CAPPED_DATA | 1 | end | 1 |
| CAPPED_DATA | 1 | end | 1 |
| CAPPED_DATA | 3 | walk->vma | 1 |
| DATA_SOURCE | 0 | addr | $0 [m] |
| DATA_SOURCE | 1 | end | r hugetlb_entry_end |
| DATA_SOURCE | 3 | walk | $2 |
| NOSPEC | 0 | addr | |
| NOSPEC | 0 | addr | |
| NOSPEC | 1 | end | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | addr | 0-18446744073709551614[c] |
| USER_DATA | 1 | end | 1-s32max[c] |
| USER_DATA | 3 | walk->private | 4096-ptr_max[u] |
| USER_DATA | 3 | walk->private->arg.walk_end | 0-s64max[c] |
| HALF_LOCKED2 | &m->lock | ||
| HALF_LOCKED2 | &mapping->i_mmap_rwsem |
mm/pagewalk.c walk_p4d_range() -> (struct mm_walk_ops)->pte_hole()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | end | 0 |
| PARAM_VALUE | 2 | depth | 0-1 |
| 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 | 0 | addr | $1 [m] |
| DATA_SOURCE | 2 | depth | r real_depth |
| DATA_SOURCE | 3 | walk | $3 |
| CONTAINER | 3 | -40-0+0 | $(-1) |
| BIT_INFO | 3 | walk->ops | 0x0,0x7fffffffffffffff |
| NOSPEC | 0 | addr | |
| NOSPEC | 0 | addr | |
| NOSPEC | 1 | end | |
| NOSPEC | 1 | end | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | addr | 0-u64max[c] |
| USER_DATA | 1 | end | 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 |
mm/pagewalk.c walk_page_range_mm_unsafe() -> (struct mm_walk_ops)->pte_hole()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 0-18446744073709551614 |
| PARAM_VALUE | 1 | end | 1-u64max |
| PARAM_VALUE | 2 | depth | (-1) |
| PARAM_VALUE | 3 | walk | 934117422026317824 |
| PARAM_VALUE | 3 | walk->action | 0-2 |
| PARAM_VALUE | 3 | walk->mm | 1-u64max |
| PARAM_VALUE | 3 | walk->no_vma | 0 |
| PARAM_VALUE | 3 | walk->ops | 4096-ptr_max |
| PARAM_VALUE | 3 | walk->pgd | 0 |
| PARAM_VALUE | 3 | walk->vma | 0 |
| CAPPED_DATA | 0 | addr | 1 |
| CAPPED_DATA | 0 | addr | 1 |
| CAPPED_DATA | 1 | end | 1 |
| CAPPED_DATA | 1 | end | 1 |
| DATA_SOURCE | 0 | addr | $1 [m] |
| DATA_SOURCE | 1 | end | $2 |
| PARAM_COMPARE | 0 | addr | < $1 |
| PARAM_COMPARE | 1 | end | > $0 |
| PARAM_COMPARE | 1 | end | > $0 |
| NOSPEC | 0 | addr | |
| NOSPEC | 0 | addr | |
| NOSPEC | 1 | end | |
| NOSPEC | 1 | end | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | addr | 0-18446744073709551614[c] |
| USER_DATA | 1 | end | 1-u64max |
| HALF_LOCKED2 | &m->lock | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &p->mm->mmap_lock | ||
| HALF_LOCKED2 | &priv->lock_ctx.mm->mmap_lock | ||
| HALF_LOCKED2 | global &mf_mutex |
mm/pagewalk.c walk_page_range_mm_unsafe() -> (struct mm_walk_ops)->pte_hole()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 0-18446744073709551614 |
| PARAM_VALUE | 1 | end | 1-u64max |
| PARAM_VALUE | 2 | depth | (-1) |
| PARAM_VALUE | 3 | walk | 934117422026317824 |
| PARAM_VALUE | 3 | walk->action | 0-2 |
| PARAM_VALUE | 3 | walk->mm | 1-u64max |
| PARAM_VALUE | 3 | walk->no_vma | 0 |
| PARAM_VALUE | 3 | walk->ops | 4096-ptr_max |
| PARAM_VALUE | 3 | walk->pgd | 0 |
| PARAM_VALUE | 3 | walk->vma | 0 |
| CAPPED_DATA | 0 | addr | 1 |
| CAPPED_DATA | 0 | addr | 1 |
| CAPPED_DATA | 1 | end | 1 |
| CAPPED_DATA | 1 | end | 1 |
| DATA_SOURCE | 0 | addr | $1 [m] |
| PARAM_COMPARE | 0 | addr | < $1 |
| PARAM_COMPARE | 1 | end | > $0 |
| PARAM_COMPARE | 1 | end | > $0 |
| NOSPEC | 0 | addr | |
| NOSPEC | 0 | addr | |
| NOSPEC | 1 | end | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | addr | 0-s32max[c] |
| USER_DATA | 1 | end | 1-s32max[c] |
| HALF_LOCKED2 | &m->lock | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &p->mm->mmap_lock | ||
| HALF_LOCKED2 | &priv->lock_ctx.mm->mmap_lock | ||
| HALF_LOCKED2 | global &mf_mutex |
mm/pagewalk.c walk_page_test() -> (struct mm_walk_ops)->pte_hole()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | depth | (-1) |
| PARAM_VALUE | 3 | walk | 934117422026317824,2343066501102768128 |
| PARAM_VALUE | 3 | walk->action | 0-2 |
| PARAM_VALUE | 3 | walk->no_vma | 0 |
| PARAM_VALUE | 3 | walk->ops | 4096-ptr_max |
| PARAM_VALUE | 3 | walk->ops->pte_hole | 628487719654023168,709231564179075072,3638815882446880768,4544569123095990272,4904888130885226496,8747928521055248384,8751955949471588352 |
| PARAM_VALUE | 3 | walk->ops->test_walk | 0 |
| PARAM_VALUE | 3 | walk->pgd | 0 |
| PARAM_VALUE | 3 | walk->vma | 4096-ptr_max |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | end | $1 |
| DATA_SOURCE | 3 | walk | $2 |
| NOSPEC | 0 | addr | |
| NOSPEC | 0 | addr | |
| NOSPEC | 1 | end | |
| NOSPEC | 1 | end | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | addr | 0-18446744073709551614[c] |
| USER_DATA | 1 | end | 1-s32max[c] |
| HALF_LOCKED2 | &mapping->i_mmap_rwsem |
mm/pagewalk.c walk_pgd_range() -> (struct mm_walk_ops)->pte_hole()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | depth | 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 |
| CAPPED_DATA | 3 | walk->vma | 1 |
| DATA_SOURCE | 0 | addr | $0 [m] |
| DATA_SOURCE | 3 | walk | $2 |
| NOSPEC | 0 | addr | |
| NOSPEC | 0 | addr | |
| NOSPEC | 1 | end | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | addr | 0-u64max[c] |
| USER_DATA | 1 | end | 0-u64max[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 |
mm/pagewalk.c walk_pmd_range() -> (struct mm_walk_ops)->pte_hole()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | end | 0 |
| PARAM_VALUE | 3 | walk | 934117422026317824,1279922888269873152,1310508832541999104,2012229525240504320,2343066501102768128,3052856833091633152 |
| PARAM_VALUE | 3 | walk->action | 0 |
| 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,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,56,64,128,152,216,8248 |
| CAPPED_DATA | 3 | walk->vma | 1 |
| DATA_SOURCE | 0 | addr | $1 [m] |
| DATA_SOURCE | 2 | depth | r real_depth |
| DATA_SOURCE | 3 | walk | $3 |
| CONTAINER | 3 | -40-0+0 | $(-1) |
| PARAM_COMPARE | 0 | addr | >= $1 |
| PARAM_COMPARE | 0 | addr | >= $1 |
| PARAM_COMPARE | 1 | end | <= $0 |
| BIT_INFO | 2 | depth | 0x0,0x3 |
| BIT_INFO | 3 | walk->ops | 0x0,0x7fffffffffffffff |
| NOSPEC | 0 | addr | |
| NOSPEC | 0 | addr | |
| NOSPEC | 1 | end | |
| NOSPEC | 1 | end | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | addr | 0-u64max[c] |
| USER_DATA | 1 | end | 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] |
| NO_OVERFLOW_SIMPLE | 3 | walk->vma->vm_pgoff | |
| NO_OVERFLOW_SIMPLE | 3 | walk->vma->vm_start | |
| HALF_LOCKED2 | &mm->mmap_lock |
mm/pagewalk.c walk_pud_range() -> (struct mm_walk_ops)->pte_hole()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | end | 0 |
| PARAM_VALUE | 3 | walk | 934117422026317824,1279922888269873152,1310508832541999104,2012229525240504320,2343066501102768128,3052856833091633152 |
| PARAM_VALUE | 3 | walk->action | 0 |
| 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,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,56,64,128,152,216,8248 |
| CAPPED_DATA | 3 | walk->vma | 1 |
| DATA_SOURCE | 0 | addr | $1 [m] |
| DATA_SOURCE | 2 | depth | r real_depth |
| DATA_SOURCE | 3 | walk | $3 |
| CONTAINER | 3 | -40-0+0 | $(-1) |
| PARAM_COMPARE | 0 | addr | >= $1 |
| PARAM_COMPARE | 0 | addr | >= $1 |
| PARAM_COMPARE | 1 | end | <= $0 |
| BIT_INFO | 2 | depth | 0x0,0x3 |
| BIT_INFO | 3 | walk->ops | 0x0,0x7fffffffffffffff |
| NOSPEC | 0 | addr | |
| NOSPEC | 0 | addr | |
| NOSPEC | 1 | end | |
| NOSPEC | 1 | end | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | addr | 0-u64max[c] |
| USER_DATA | 1 | end | 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] |
| NO_OVERFLOW_SIMPLE | 3 | walk->vma->vm_pgoff | |
| NO_OVERFLOW_SIMPLE | 3 | walk->vma->vm_start | |
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | global &init_mm.mmap_lock |