Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

mm/swapfile.c unuse_pte_range() -> swapin_readahead()

Type Parameter Key Value
PARAM_VALUE 1 gfp_mask 1051850
PARAM_VALUE 2 vmf 3352189101893373952
PARAM_VALUE 2 vmf->cow_page 0
PARAM_VALUE 2 vmf->flags 0
PARAM_VALUE 2 vmf->gfp_mask 0
PARAM_VALUE 2 vmf->page 0
PARAM_VALUE 2 vmf->pgoff 0
PARAM_VALUE 2 vmf->pte 0
PARAM_VALUE 2 vmf->ptl 0
PARAM_VALUE 2 vmf->pud 0
PARAM_VALUE 2 vmf->vma 4096-ptr_max
DATA_SOURCE 0 entry r softleaf_from_pte
CAPABLE 0 21
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/memory.c do_swap_page() -> swapin_readahead()

Type Parameter Key Value
PARAM_VALUE 1 gfp_mask 1051850
PARAM_VALUE 2 vmf 2508977417524461568,2900308121553498112
PARAM_VALUE 2 vmf->address 0,4096-u64max
PARAM_VALUE 2 vmf->cow_page 0
PARAM_VALUE 2 vmf->flags 4,2048-6998
PARAM_VALUE 2 vmf->gfp_mask 0,64-u32max
PARAM_VALUE 2 vmf->page 0
PARAM_VALUE 2 vmf->pmd 4096-ptr_max
PARAM_VALUE 2 vmf->prealloc_pte 0
PARAM_VALUE 2 vmf->pte 0
PARAM_VALUE 2 vmf->pud 0,4096-ptr_max
PARAM_VALUE 2 vmf->vma 4096-ptr_max
DATA_SOURCE 0 entry r softleaf_from_pte
DATA_SOURCE 2 vmf $0
NOSPEC 2 vmf->address
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 vmf->address 0,4096-u64max[c]
USER_DATA 2 vmf->pgoff 0-9007199254740990[c]
USER_DATA 2 vmf->real_address 0-u64max
HALF_LOCKED2 &mm->mmap_lock