Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/memory.c copy_user_large_folio() -> copy_user_gigantic_page()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 0 dst->lru.next->prev 4096-ptr_max
PARAM_VALUE 0 dst->lru.prev->next 4096-ptr_max
PARAM_VALUE 0 dst->memcg_data 4096-18446744073709547520
PARAM_VALUE 0 dst->page._refcount.counter 1
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 3 vma 4096-ptr_max
PARAM_VALUE 3 vma->vm_file 4096-ptr_max
PARAM_VALUE 3 vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 3 vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 3 vma->vm_mm->vma_writer_wait.task->sched_class->uclamp_enabled 0-1
PARAM_VALUE 3 vma->vm_ops 0,4096-ptr_max
PARAM_VALUE 3 vma->vm_userfaultfd_ctx.ctx->map_changing_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 3 vma->vm_userfaultfd_ctx.ctx->map_changing_lock.first_waiter->type 0-1
PARAM_VALUE 4 nr_pages 1025-u32max
BUF_SIZE 3 vma (-1),1-s32max
BUF_SIZE 3 vma (-1),1-s32max
CAPPED_DATA 3 vma 1
DATA_SOURCE 0 dst $0
DATA_SOURCE 1 src $1
DATA_SOURCE 2 addr_hint $2
DATA_SOURCE 3 vma $3
DATA_SOURCE 4 nr_pages r folio_nr_pages
NOSPEC 2 addr_hint
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 addr_hint 0-u64max
USER_DATA 3 vma->vm_policy->home_node 0-1023
NO_OVERFLOW_SIMPLE 3 vma->vm_start
UNITS 2 addr_hint unit_byte
UNITS 3 vma unit_byte
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &oldmm->mmap_lock
HALF_LOCKED2 &state.ctx->map_changing_lock