Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

fs/cramfs/inode.c cramfs_physmem_mmap() -> vmf_insert_mixed()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->flags.__vma_flags 4096-ptr_max
PARAM_VALUE 0 vma->vm_mm 4096-ptr_max
PARAM_VALUE 0 vma->vm_ops 1879676746651394048
PARAM_VALUE 0 vma->vm_ops->access 0
PARAM_VALUE 0 vma->vm_ops->close 0
PARAM_VALUE 0 vma->vm_ops->fault 814051361596108800
PARAM_VALUE 0 vma->vm_ops->find_normal_page 0
PARAM_VALUE 0 vma->vm_ops->get_policy 0
PARAM_VALUE 0 vma->vm_ops->huge_fault 0
PARAM_VALUE 0 vma->vm_ops->map_pages 5698041470598119424
PARAM_VALUE 0 vma->vm_ops->mapped 0
PARAM_VALUE 0 vma->vm_ops->may_split 0
PARAM_VALUE 0 vma->vm_ops->mprotect 0
PARAM_VALUE 0 vma->vm_ops->mremap 0
PARAM_VALUE 0 vma->vm_ops->name 0
PARAM_VALUE 0 vma->vm_ops->open 0
PARAM_VALUE 0 vma->vm_ops->page_mkwrite 1811986585126928384
PARAM_VALUE 0 vma->vm_ops->pagesize 0
PARAM_VALUE 0 vma->vm_ops->pfn_mkwrite 0
PARAM_VALUE 0 vma->vm_ops->set_policy 0
PARAM_VALUE 0 vma->vm_ops->uffd_ops 0
PARAM_VALUE 0 vma->vm_pgoff 0-4294967294
PARAM_VALUE 2 pfn 0-4503599627370495
BUF_SIZE 0 vma (-1)-s32max
BUF_SIZE 0 vma (-1)-s32max
BUF_SIZE 0 vma->vm_file (-1)-s32max
BUF_SIZE 0 vma->vm_private_data (-1),1-s32max
DATA_SOURCE 0 vma $1
BIT_INFO 0 vma->vm_flags 0x0,0xfffffffffffffffd
NOSPEC 0 vma->vm_pgoff
NOSPEC 0 vma->vm_start
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 vma->vm_end 4096-u64max[c]
USER_DATA 0 vma->vm_pgoff 0-4294967294[c]
USER_DATA 0 vma->vm_start 0-18446744073709547520
NO_OVERFLOW_SIMPLE 0 vma->vm_pgoff
UNITS 1 addr unit_byte
HALF_LOCKED2 &ipcp->lock

drivers/gpu/drm/gma500/fbdev.c psb_fbdev_vm_fault() -> vmf_insert_mixed()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->vm_private_data 4096-ptr_max
BUF_SIZE 0 vma (-1),4,24,64,168-s32max
BUF_SIZE 0 vma (-1),4,24,64,168-s32max
NOSPEC 1 addr
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 addr 0-u64max
NO_OVERFLOW_SIMPLE 0 vma->vm_end
NO_OVERFLOW_SIMPLE 0 vma->vm_pgoff
NO_OVERFLOW_SIMPLE 0 vma->vm_start
UNITS 1 addr unit_byte
UNITS 2 pfn unit_page

drivers/gpu/drm/omapdrm/omap_gem.c omap_gem_fault_1d() -> vmf_insert_mixed()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->vm_private_data 4096-ptr_max
DATA_SOURCE 0 vma $1
NOSPEC 1 addr
NOSPEC 1 addr
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 addr 0-u64max[c]
USER_DATA 2 pfn 0-9007199254740990[c]
NO_OVERFLOW_SIMPLE 0 vma->vm_end
NO_OVERFLOW_SIMPLE 0 vma->vm_pgoff
NO_OVERFLOW_SIMPLE 0 vma->vm_start
UNITS 1 addr unit_byte
UNITS 2 pfn unit_page
LOCK2 &omap_obj->lock
TYPE_LOCK (struct omap_gem_object)->lock

drivers/gpu/drm/omapdrm/omap_gem.c omap_gem_fault_2d() -> vmf_insert_mixed()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->vm_private_data 4096-ptr_max
DATA_SOURCE 0 vma $1
NOSPEC 1 addr
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 addr 0-u64max
NO_OVERFLOW_SIMPLE 0 vma->vm_end
NO_OVERFLOW_SIMPLE 0 vma->vm_pgoff
NO_OVERFLOW_SIMPLE 0 vma->vm_start
UNITS 1 addr unit_byte
UNITS 2 pfn unit_page
LOCK2 &omap_obj->lock
TYPE_LOCK (struct omap_gem_object)->lock

drivers/hwtracing/intel_th/msu.c msc_mmap_fault() -> vmf_insert_mixed()

Type Parameter Key Value
PARAM_VALUE 0 vma 4096-ptr_max
PARAM_VALUE 0 vma->vm_file 4096-ptr_max
PARAM_VALUE 0 vma->vm_file->private_data 4096-ptr_max
PARAM_VALUE 0 vma->vm_mm->mmap_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 vma->vm_mm->mmap_lock.first_waiter->type 0-1
PARAM_VALUE 0 vma->vm_mm->vma_writer_wait.task->sched_class->uclamp_enabled 0-1
PARAM_VALUE 2 pfn 0-12384898975264768,9223396226110586880-u64max
BUF_SIZE 0 vma (-1),4,24,64,168-s32max
BUF_SIZE 0 vma (-1),4,24,64,168-s32max
CAPPED_DATA 0 vma 1
NOSPEC 1 addr
NOSPEC 1 addr
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 addr 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 vma->vm_end
NO_OVERFLOW_SIMPLE 0 vma->vm_pgoff
NO_OVERFLOW_SIMPLE 0 vma->vm_start
UNITS 1 addr unit_byte