Defined in 2 files as a function:
Referenced in 2 files:
Smatch caller information:
mm/pagewalk.c walk_p4d_range() -> walk_pud_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p4d | 4096-ptr_max |
| PARAM_VALUE | 2 | end | 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 |
| 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 | end | |
| NOSPEC | 2 | end | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | addr | 0-u64max[c] |
| USER_DATA | 2 | 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] |
| UNITS | 1 | addr | unit_byte |
| UNITS | 2 | end | unit_byte |
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | global &init_mm.mmap_lock |
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 | end | 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 | end | |
| NOSPEC | 2 | end | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | addr | 0-u64max[c] |
| USER_DATA | 2 | 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 |