Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/ionic/ionic_controlpath.c ionic_mmap() -> ionic_mmap_phc_state()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 vma 4096-ptr_max
PARAM_VALUE 1 vma->vm_ops 3158554682918604800
PARAM_VALUE 1 vma->vm_ops->access 0
PARAM_VALUE 1 vma->vm_ops->close 4810486129246203904
PARAM_VALUE 1 vma->vm_ops->fault 3470724416327221248
PARAM_VALUE 1 vma->vm_ops->find_normal_page 0
PARAM_VALUE 1 vma->vm_ops->get_policy 0
PARAM_VALUE 1 vma->vm_ops->huge_fault 0
PARAM_VALUE 1 vma->vm_ops->map_pages 0
PARAM_VALUE 1 vma->vm_ops->mapped 0
PARAM_VALUE 1 vma->vm_ops->may_split 0
PARAM_VALUE 1 vma->vm_ops->mprotect 0
PARAM_VALUE 1 vma->vm_ops->mremap 0
PARAM_VALUE 1 vma->vm_ops->name 0
PARAM_VALUE 1 vma->vm_ops->open 7977397490154700800
PARAM_VALUE 1 vma->vm_ops->page_mkwrite 0
PARAM_VALUE 1 vma->vm_ops->pagesize 0
PARAM_VALUE 1 vma->vm_ops->pfn_mkwrite 0
PARAM_VALUE 1 vma->vm_ops->set_policy 0
PARAM_VALUE 1 vma->vm_ops->uffd_ops 0
PARAM_VALUE 1 vma->vm_pgoff 0-u32max
BUF_SIZE 1 vma (-1),1-s32max
BUF_SIZE 1 vma (-1),1-s32max
BUF_SIZE 1 vma->vm_file (-1)-s32max
BUF_SIZE 1 vma->vm_ops 144
BUF_SIZE 1 vma->vm_private_data (-1),1-s32max
DATA_SOURCE 0 dev r to_ionic_ibdev
DATA_SOURCE 1 vma $1
NOSPEC 1 vma->vm_start
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 vma->vm_end 4096-u64max[c]
USER_DATA 1 vma->vm_start 0-18446744073709547520
NO_OVERFLOW_SIMPLE 1 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