Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/efa/efa_verbs.c efa_mmap() -> __efa_mmap()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 ucontext 4096-ptr_max
PARAM_VALUE 2 vma 4096-ptr_max
PARAM_VALUE 2 vma->vm_ops 3158554682918604800
PARAM_VALUE 2 vma->vm_ops->access 0
PARAM_VALUE 2 vma->vm_ops->close 4810486129246203904
PARAM_VALUE 2 vma->vm_ops->fault 3470724416327221248
PARAM_VALUE 2 vma->vm_ops->find_normal_page 0
PARAM_VALUE 2 vma->vm_ops->get_policy 0
PARAM_VALUE 2 vma->vm_ops->huge_fault 0
PARAM_VALUE 2 vma->vm_ops->map_pages 0
PARAM_VALUE 2 vma->vm_ops->mapped 0
PARAM_VALUE 2 vma->vm_ops->may_split 0
PARAM_VALUE 2 vma->vm_ops->mprotect 0
PARAM_VALUE 2 vma->vm_ops->mremap 0
PARAM_VALUE 2 vma->vm_ops->name 0
PARAM_VALUE 2 vma->vm_ops->open 7977397490154700800
PARAM_VALUE 2 vma->vm_ops->page_mkwrite 0
PARAM_VALUE 2 vma->vm_ops->pagesize 0
PARAM_VALUE 2 vma->vm_ops->pfn_mkwrite 0
PARAM_VALUE 2 vma->vm_ops->set_policy 0
PARAM_VALUE 2 vma->vm_ops->uffd_ops 0
BUF_SIZE 2 vma (-1),1-s32max
BUF_SIZE 2 vma (-1),1-s32max
BUF_SIZE 2 vma->vm_file (-1)-s32max
BUF_SIZE 2 vma->vm_ops 144
BUF_SIZE 2 vma->vm_private_data (-1),1-s32max
DATA_SOURCE 0 dev r to_edev
DATA_SOURCE 1 ucontext r to_eucontext
DATA_SOURCE 2 vma $1
NOSPEC 2 vma->vm_pgoff
NOSPEC 2 vma->vm_start
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 vma->vm_end 4096-u64max[c]
USER_DATA 2 vma->vm_pgoff 0-4503599627370495[c]
USER_DATA 2 vma->vm_start 0-18446744073709547520
NO_OVERFLOW_SIMPLE 2 vma->vm_pgoff
LOCK2 &file->device->disassociate_srcu
LOCK2 &file->disassociation_lock
HALF_LOCKED2 &ipcp->lock
TYPE_LOCK (struct ib_uverbs_device)->disassociate_srcu
TYPE_LOCK (struct ib_uverbs_file)->disassociation_lock