Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/page_vma_mapped.c page_vma_mapped_walk() -> map_pte()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pvmw | 4096-ptr_max |
| PARAM_VALUE | 0 | pvmw->flags | 0-1,3,65536-u32max |
| PARAM_VALUE | 0 | pvmw->nr_pages | 0-u32max |
| PARAM_VALUE | 0 | pvmw->pmd | 4096-ptr_max |
| PARAM_VALUE | 0 | pvmw->pte | 0 |
| PARAM_VALUE | 0 | pvmw->ptl | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pvmw->vma | 4096-ptr_max |
| PARAM_VALUE | 0 | pvmw->vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 1 | pmdvalp | 7877980675731808256 |
| PARAM_VALUE | 2 | ptlp | 5873571858152689664 |
| DATA_SOURCE | 0 | pvmw | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | pvmw->address | |
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | global &ksm_thread_mutex | ||
| HALF_LOCKED2 | global &mf_mutex | ||
| HALF_LOCKED2 | rcu_read |