Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/pagewalk.c __walk_page_range() -> walk_pgd_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | walk | 934117422026317824,1310508832541999104,2343066501102768128,3052856833091633152 |
| PARAM_VALUE | 2 | walk->action | 0-2 |
| PARAM_VALUE | 2 | walk->no_vma | 0 |
| PARAM_VALUE | 2 | walk->ops | 4096-ptr_max |
| PARAM_VALUE | 2 | walk->ops->install_pte | 0,1044397068690849792 |
| PARAM_VALUE | 2 | walk->ops->pre_vma | 0,4646808277758689280 |
| PARAM_VALUE | 2 | walk->pgd | 0 |
| PARAM_VALUE | 2 | walk->vma | 4096-ptr_max |
| PARAM_VALUE | 2 | walk->vma->flags.__vma_flags | 4096-ptr_max |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | end | $1 |
| DATA_SOURCE | 2 | 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] |
| UNITS | 0 | addr | unit_byte |
| UNITS | 1 | end | unit_byte |
| HALF_LOCKED2 | &m->lock | ||
| HALF_LOCKED2 | &mapping->i_mmap_rwsem |
mm/pagewalk.c walk_kernel_page_table_range_lockless() -> walk_pgd_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 4096-18446744073709547520 |
| PARAM_VALUE | 1 | end | 4097-u64max |
| PARAM_VALUE | 2 | walk | 2012229525240504320 |
| PARAM_VALUE | 2 | walk->action | 0 |
| PARAM_VALUE | 2 | walk->mm | 7138969414219841536 |
| PARAM_VALUE | 2 | walk->no_vma | 1 |
| PARAM_VALUE | 2 | walk->ops | 7259367289465864192 |
| PARAM_VALUE | 2 | walk->pgd | 0 |
| PARAM_VALUE | 2 | walk->private | 2542347507060039680,2763064670750568448,9096355248100884480 |
| PARAM_VALUE | 2 | walk->vma | 0 |
| CAPPED_DATA | 0 | addr | 1 |
| CAPPED_DATA | 0 | addr | 1 |
| DATA_SOURCE | 0 | addr | $0 |
| DATA_SOURCE | 1 | end | $1 |
| PARAM_COMPARE | 0 | addr | < $1 |
| PARAM_COMPARE | 1 | end | > $0 |
| PARAM_COMPARE | 1 | end | > $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | addr | unit_byte |
| UNITS | 1 | end | unit_byte |
| LOCK2 | global &init_mm.mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/pagewalk.c walk_page_range_debug() -> walk_pgd_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr | 0,4362862139015168,18374695275764645888,18379190079298994176,18446612132314218496 |
| PARAM_VALUE | 1 | end | 140737488355328,72057594037927936,u64max |
| PARAM_VALUE | 2 | walk | 1279922888269873152 |
| PARAM_VALUE | 2 | walk->action | 0 |
| PARAM_VALUE | 2 | walk->mm | 4096-ptr_max |
| PARAM_VALUE | 2 | walk->no_vma | 1 |
| PARAM_VALUE | 2 | walk->ops | 2538436070775504896 |
| PARAM_VALUE | 2 | walk->private | 8168795432078680064 |
| PARAM_VALUE | 2 | walk->vma | 0 |
| CAPPED_DATA | 0 | addr | 1 |
| CAPPED_DATA | 0 | addr | 1 |
| DATA_SOURCE | 0 | addr | $1 |
| DATA_SOURCE | 1 | end | $2 |
| PARAM_COMPARE | 0 | addr | < $1 |
| PARAM_COMPARE | 1 | end | > $0 |
| PARAM_COMPARE | 1 | end | > $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &m->lock | ||
| HALF_LOCKED2 | global &init_mm.mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |