Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/i915/gem/i915_gem_dmabuf.c vfs_mmap() -> (struct file_operations)->mmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_op | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_op->mmap_prepare | 0 |
| PARAM_VALUE | 1 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | vma->vm_file->f_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | vma->vm_file->f_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | vma->vm_file->f_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | vma->vm_file->f_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | vma->vm_file->f_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | vma->vm_file->f_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | vma->vm_file->f_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | vma->vm_file->f_cred->thread_keyring->user->qnkeys | s32min-s32max |
| BUF_SIZE | 1 | vma | (-1),1-s32max |
| BUF_SIZE | 1 | vma | (-1),1-s32max |
| BUF_SIZE | 1 | vma->vm_file | (-1)-0,4,24,64,168-s32max |
| BUF_SIZE | 1 | vma->vm_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | file | $0 |
| DATA_SOURCE | 1 | vma | $1 |
| CONTAINER | 0 | -96-80+0 | $(-1) |
| NOSPEC | 1 | vma->vm_pgoff | |
| NOSPEC | 1 | vma->vm_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | vma->vm_end | 4096-u64max[c] |
| USER_DATA | 1 | vma->vm_pgoff | 0-4503599627370495[c] |
| USER_DATA | 1 | vma->vm_start | 0-18446744073709547520 |
| NO_OVERFLOW_SIMPLE | 1 | vma->vm_pgoff |
mm/vma.c vfs_mmap() -> (struct file_operations)->mmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_op | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_op->mmap_prepare | 0 |
| PARAM_VALUE | 1 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | vma->anon_name | 0 |
| PARAM_VALUE | 1 | vma->anon_vma | 0 |
| PARAM_VALUE | 1 | vma->numab_state | 0 |
| PARAM_VALUE | 1 | vma->pfnmap_track_ctx | 0 |
| PARAM_VALUE | 1 | vma->shared.rb.__rb_parent_color | 0 |
| PARAM_VALUE | 1 | vma->shared.rb.rb_left | 0 |
| PARAM_VALUE | 1 | vma->shared.rb.rb_right | 0 |
| PARAM_VALUE | 1 | vma->shared.rb_subtree_last | 0 |
| PARAM_VALUE | 1 | vma->swap_readahead_info.counter | 0 |
| PARAM_VALUE | 1 | vma->vm_file | 4096-ptr_max |
| PARAM_VALUE | 1 | vma->vm_flags | 0 |
| PARAM_VALUE | 1 | vma->vm_freeptr.v | 0 |
| PARAM_VALUE | 1 | vma->vm_lock_seq | u32max |
| PARAM_VALUE | 1 | vma->vm_ops | 6756087424609792000 |
| PARAM_VALUE | 1 | vma->vm_ops->access | 0,4096-ptr_max |
| PARAM_VALUE | 1 | vma->vm_ops->close | 0,4096-ptr_max |
| PARAM_VALUE | 1 | vma->vm_ops->fault | 0,4096-ptr_max |
| PARAM_VALUE | 1 | vma->vm_ops->find_normal_page | 0,7701293790578647040 |
| PARAM_VALUE | 1 | vma->vm_ops->get_policy | 0,4616414333962629120,4828607683292463104,8976238440117981184 |
| PARAM_VALUE | 1 | vma->vm_ops->huge_fault | 0,4096-ptr_max |
| PARAM_VALUE | 1 | vma->vm_ops->map_pages | 0,3176874211750576128,5698041470598119424 |
| PARAM_VALUE | 1 | vma->vm_ops->mapped | 0,2789832010611625984,3142991724353884160,4592370608720261120,7407017443569868800 |
| PARAM_VALUE | 1 | vma->vm_ops->may_split | 0,4096-ptr_max |
| PARAM_VALUE | 1 | vma->vm_ops->mprotect | 0,1325936775103746048 |
| PARAM_VALUE | 1 | vma->vm_ops->mremap | 0,3413040981811294208,4989069621795885056,4994350079563595776,5833245582275645440,6365626294419795968 |
| PARAM_VALUE | 1 | vma->vm_ops->name | 0,4895095206942478336,8589198899344281600 |
| PARAM_VALUE | 1 | vma->vm_ops->open | 0,4096-ptr_max |
| PARAM_VALUE | 1 | vma->vm_ops->page_mkwrite | 0,4096-ptr_max |
| PARAM_VALUE | 1 | vma->vm_ops->pagesize | 0,1990568509668610048,3507690403222872064,7130740471179698176 |
| PARAM_VALUE | 1 | vma->vm_ops->pfn_mkwrite | 0,4096-ptr_max |
| PARAM_VALUE | 1 | vma->vm_ops->set_policy | 0,1009606358897582080,5296408793753837568,9131342062321688576 |
| PARAM_VALUE | 1 | vma->vm_ops->uffd_ops | 0,2881150691235323904,7418773112577396736 |
| PARAM_VALUE | 1 | vma->vm_pgoff | 0-4503599627370495 |
| PARAM_VALUE | 1 | vma->vm_policy | 0 |
| PARAM_VALUE | 1 | vma->vm_private_data | 0 |
| PARAM_VALUE | 1 | vma->vm_refcnt.refs.counter | 0 |
| PARAM_VALUE | 1 | vma->vm_start | 0-18446744073709547520 |
| PARAM_VALUE | 1 | vma->vm_userfaultfd_ctx.ctx | 0 |
| PARAM_VALUE | 1 | vma->vmlock_dep_map->name | 0-255 |
| PARAM_VALUE | 1 | vma->vmlock_dep_map.cpu | 0 |
| PARAM_VALUE | 1 | vma->vmlock_dep_map.ip | 0 |
| PARAM_VALUE | 1 | vma->vmlock_dep_map.lock_type | 0 |
| PARAM_VALUE | 1 | vma->vmlock_dep_map.wait_type_outer | 0 |
| DATA_SOURCE | 0 | file | $0 |
| DATA_SOURCE | 1 | vma | $1 |
| CONTAINER | 0 | -96-80+0 | $(-1) |
| NOSPEC | 1 | vma->vm_pgoff | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | vma->vm_end | 0-u64max |
| USER_DATA | 1 | vma->vm_pgoff | 0-4503599627370495[c] |
| USER_DATA | 1 | vma->vm_start | 0-18446744073709547520[c] |
| NO_OVERFLOW_SIMPLE | 1 | vma->vm_pgoff | |
| HALF_LOCKED2 | &ctx->ring_lock | ||
| HALF_LOCKED2 | &mm->mmap_lock |
fs/coda/file.c vfs_mmap() -> (struct file_operations)->mmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_op | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_op->mmap_prepare | 0 |
| PARAM_VALUE | 1 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | vma->vm_file | 4096-ptr_max |
| PARAM_VALUE | 1 | vma->vm_file->f_op | 4096-ptr_max |
| BUF_SIZE | 1 | vma | (-1),1-s32max |
| BUF_SIZE | 1 | vma | (-1),1-s32max |
| BUF_SIZE | 1 | vma->vm_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | file | $0 |
| DATA_SOURCE | 1 | vma | $1 |
| CONTAINER | 0 | -96-80+0 | $(-1) |
| NOSPEC | 1 | vma->vm_pgoff | |
| NOSPEC | 1 | vma->vm_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | vma->vm_end | 4096-u64max[c] |
| USER_DATA | 1 | vma->vm_pgoff | 0-4503599627370495[c] |
| USER_DATA | 1 | vma->vm_start | 0-18446744073709547520 |
| NO_OVERFLOW_SIMPLE | 1 | vma->vm_pgoff | |
| HALF_LOCKED2 | &ipcp->lock |
drivers/gpu/drm/drm_prime.c drm_gem_prime_mmap() -> (struct file_operations)->mmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | vma->vm_file->f_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | vma->vm_file->f_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | vma->vm_file->f_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | vma->vm_file->f_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | vma->vm_file->f_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | vma->vm_file->f_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | vma->vm_file->f_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | vma->vm_file->f_cred->thread_keyring->user->qnkeys | s32min-s32max |
| BUF_SIZE | 0 | file | 376 |
| BUF_SIZE | 0 | file->private_data | 1216 |
| BUF_SIZE | 1 | vma | (-1),1-s32max |
| BUF_SIZE | 1 | vma | (-1),1-s32max |
| BUF_SIZE | 1 | vma->vm_file | (-1)-0,4,24,64,168-s32max |
| BUF_SIZE | 1 | vma->vm_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | file | r _kzalloc_noprof |
| DATA_SOURCE | 1 | vma | $1 |
| NOSPEC | 1 | vma->vm_pgoff | |
| NOSPEC | 1 | vma->vm_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | vma->vm_end | 4096-u64max[c] |
| USER_DATA | 1 | vma->vm_pgoff | 0-4503599627370495[c] |
| USER_DATA | 1 | vma->vm_start | 0-18446744073709547520 |
| NO_OVERFLOW_SIMPLE | 1 | vma->vm_pgoff | |
| HALF_LOCKED2 | &info->mm_lock |
ipc/shm.c vfs_mmap() -> (struct file_operations)->mmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_op | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_op->mmap_prepare | 0 |
| 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_private_data | (-1),1-s32max |
| CAPPED_DATA | 0 | file | 1 |
| DATA_SOURCE | 0 | file | $0 |
| DATA_SOURCE | 1 | vma | $1 |
| CONTAINER | 0 | -96-80+0 | $(-1) |
| NOSPEC | 1 | vma->vm_pgoff | |
| NOSPEC | 1 | vma->vm_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | vma->vm_end | 4096-u64max[c] |
| USER_DATA | 1 | vma->vm_pgoff | 0-4503599627370495[c] |
| USER_DATA | 1 | vma->vm_start | 0-18446744073709547520 |
| NO_OVERFLOW_SIMPLE | 1 | vma->vm_pgoff | |
| LOCK2 | &ipcp->lock |
fs/backing-file.c vfs_mmap() -> (struct file_operations)->mmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | file->f_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | file->f_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | file->f_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | file->f_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | file->f_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | file->f_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | file->f_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | file->f_op | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_op->mmap_prepare | 0 |
| PARAM_VALUE | 1 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | vma->vm_file | 4096-ptr_max |
| PARAM_VALUE | 1 | vma->vm_file->f_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | vma->vm_file->f_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | vma->vm_file->f_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | vma->vm_file->f_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | vma->vm_file->f_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | vma->vm_file->f_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | vma->vm_file->f_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | vma->vm_file->f_cred->thread_keyring->user->qnkeys | s32min-s32max |
| BUF_SIZE | 1 | vma | (-1),1-s32max |
| BUF_SIZE | 1 | vma | (-1),1-s32max |
| BUF_SIZE | 1 | vma->vm_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | file | $0 |
| DATA_SOURCE | 1 | vma | $1 |
| CONTAINER | 0 | -96-80+0 | $(-1) |
| NOSPEC | 1 | vma->vm_pgoff | |
| NOSPEC | 1 | vma->vm_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | vma->vm_end | 4096-u64max[c] |
| USER_DATA | 1 | vma->vm_pgoff | 0-4503599627370495[c] |
| USER_DATA | 1 | vma->vm_start | 0-18446744073709547520 |
| NO_OVERFLOW_SIMPLE | 1 | vma->vm_pgoff | |
| HALF_LOCKED2 | &ipcp->lock |