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/shmem.c shmem_swap_alloc_folio() -> swapin_sync()

Type Parameter Key Value
PARAM_VALUE 3 vmf 0,4096-ptr_max
PARAM_VALUE 3 vmf->gfp_mask 0,64-u32max
PARAM_VALUE 3 vmf->vma 4096-ptr_max
PARAM_VALUE 3 vmf->vma->vm_file 4096-ptr_max
PARAM_VALUE 3 vmf->vma->vm_file->f_inode->i_mapping 4096-ptr_max
PARAM_VALUE 3 vmf->vma->vm_mm->mmap_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 3 vmf->vma->vm_mm->mmap_lock.first_waiter->type 0-1
PARAM_VALUE 3 vmf->vma->vm_mm->vma_writer_wait.task->delays->blkio_count 0-4294967295
PARAM_VALUE 3 vmf->vma->vm_mm->vma_writer_wait.task->kcov->mode 0-4294967295
PARAM_VALUE 3 vmf->vma->vm_mm->vma_writer_wait.task->kcov->remote 0-1
PARAM_VALUE 3 vmf->vma->vm_mm->vma_writer_wait.task->kcov->remote_size 0-4294967295
PARAM_VALUE 3 vmf->vma->vm_mm->vma_writer_wait.task->kcov_remote->mode 0-4294967295
PARAM_VALUE 3 vmf->vma->vm_mm->vma_writer_wait.task->kcov_remote->remote 0-1
PARAM_VALUE 3 vmf->vma->vm_mm->vma_writer_wait.task->kcov_remote->remote_size 0-4294967295
PARAM_VALUE 3 vmf->vma->vm_mm->vma_writer_wait.task->ptracer_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 3 vmf->vma->vm_mm->vma_writer_wait.task->sched_class->uclamp_enabled 0-1
PARAM_VALUE 3 vmf->vma->vm_mm->vma_writer_wait.task->sched_task_group->idle s32min-s32max
PARAM_VALUE 3 vmf->vma->vm_mm->vma_writer_wait.task->thread_pid->attr->exit_code s32min-s32max
PARAM_VALUE 4 mpol 1-u64max
BUF_SIZE 3 vmf->cow_page (-1),64
DATA_SOURCE 0 entry $3
DATA_SOURCE 1 gfp $5
DATA_SOURCE 3 vmf $1
DATA_SOURCE 4 mpol r shmem_get_pgoff_policy
NOSPEC 3 vmf->address
NOSPEC 3 vmf->pgoff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 vmf->address 0-u64max[c]
USER_DATA 3 vmf->pgoff 0-4503599627370495
USER_DATA 3 vmf->pte 4096-ptr_max[u]
USER_DATA 3 vmf->real_address 0-u64max[c]
NO_OVERFLOW_SIMPLE 3 vmf->vma->vm_end
NO_OVERFLOW_SIMPLE 3 vmf->vma->vm_pgoff
NO_OVERFLOW_SIMPLE 3 vmf->vma->vm_start
HALF_LOCKED2 &inode->i_rwsem

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

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