Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/drm_gem_shmem_helper.c drm_gem_shmem_any_fault() -> try_insert_pfn()

Type Parameter Key Value
PARAM_VALUE 0 vmf 4096-ptr_max
PARAM_VALUE 0 vmf->gfp_mask 0,64-u32max
PARAM_VALUE 0 vmf->vma 4096-ptr_max
PARAM_VALUE 0 vmf->vma->vm_mm->mmap_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 vmf->vma->vm_mm->mmap_lock.first_waiter->type 0-1
PARAM_VALUE 0 vmf->vma->vm_mm->vma_writer_wait.task->sched_class->uclamp_enabled 0-1
PARAM_VALUE 1 order 0,9
PARAM_VALUE 2 pfn 0-12384898975264768,9223396226110586880-u64max
BUF_SIZE 0 vmf->cow_page (-1),64
CAPPED_DATA 0 vmf->vma 1
DATA_SOURCE 0 vmf $0
DATA_SOURCE 1 order $1
BIT_INFO 1 order 0x0,0x9
NOSPEC 0 vmf->address
HARD_MAX 1 order 9
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 vmf->address 0-u64max[c]
USER_DATA 0 vmf->pgoff 0-9007199254740990
USER_DATA 0 vmf->pte 4096-ptr_max[u]
USER_DATA 0 vmf->real_address 0-u64max
NO_OVERFLOW_SIMPLE 0 vmf->vma->vm_end
NO_OVERFLOW_SIMPLE 0 vmf->vma->vm_pgoff
NO_OVERFLOW_SIMPLE 0 vmf->vma->vm_start
LOCK2 obj->resv