vma_set_file identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

include/linux/mm.h, line 4758 (as a prototype)

Defined in 2 files as a function:

Referenced in 9 files:

Smatch caller information:

fs/erofs/ishare.c erofs_ishare_mmap() -> vma_set_file()

Type	Parameter	Key	Value
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
BUF_SIZE	1	file	(-1),1216
BUF_SIZE	1	file	(-1),1216
DATA_SOURCE	0	vma	$1
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

drivers/gpu/drm/i915/gem/i915_gem_dmabuf.c i915_gem_dmabuf_mmap() -> vma_set_file()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	1	file	4096-ptr_max
PARAM_VALUE	1	file->f_op	4096-ptr_max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),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
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->pfnmap_track_ctx->pfn	0-13510803177078779[c]
USER_DATA	0	vma->pfnmap_track_ctx->size	0,4096-u64max[c]
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff

mm/util.c compat_set_vma_from_desc() -> vma_set_file()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file	1-u64max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_ops->access	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->close	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->fault	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->find_normal_page	0,7701293790578647040
PARAM_VALUE	0	vma->vm_ops->get_policy	0,4616414333962629120,4828607683292463104,8976238440117981184
PARAM_VALUE	0	vma->vm_ops->huge_fault	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->map_pages	0,3176874211750576128,5698041470598119424
PARAM_VALUE	0	vma->vm_ops->mapped	0,2789832010611625984,3142991724353884160,4592370608720261120,7407017443569868800
PARAM_VALUE	0	vma->vm_ops->may_split	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->mprotect	0,1325936775103746048
PARAM_VALUE	0	vma->vm_ops->mremap	0,3413040981811294208,4989069621795885056,4994350079563595776,5833245582275645440,6365626294419795968
PARAM_VALUE	0	vma->vm_ops->name	0,4895095206942478336,8589198899344281600
PARAM_VALUE	0	vma->vm_ops->open	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->page_mkwrite	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->pagesize	0,1990568509668610048,3507690403222872064,7130740471179698176
PARAM_VALUE	0	vma->vm_ops->pfn_mkwrite	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->set_policy	0,1009606358897582080,5296408793753837568,9131342062321688576
PARAM_VALUE	0	vma->vm_ops->uffd_ops	0,2881150691235323904,7418773112577396736
PARAM_VALUE	0	vma->vm_pgoff	0
PARAM_VALUE	0	vma->vm_refcnt.refs.counter	0-1
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
PARAM_COMPARE	1	file	< $0->vm_file
PARAM_COMPARE	1	file	< $0->vm_file
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&idev->info_lock
HALF_LOCKED2		&ipcp->lock
HALF_LOCKED2		&of->mutex

drivers/dma-buf/dma-buf.c dma_buf_mmap() -> vma_set_file()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_ops	0,4096-ptr_max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),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
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff

drivers/gpu/drm/etnaviv/etnaviv_gem.c etnaviv_gem_mmap_obj() -> vma_set_file()

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_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_pgoff	0
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),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
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&info->mm_lock

drivers/gpu/drm/omapdrm/omap_gem.c omap_gem_object_mmap() -> vma_set_file()

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_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	0,4096-ptr_max
PARAM_VALUE	1	file	1-u64max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),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
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&info->mm_lock

drivers/gpu/drm/i915/gem/i915_gem_mman.c i915_gem_object_mmap() -> vma_set_file()

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	1	file	4096-ptr_max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$2
DATA_SOURCE	1	file	r mmap_singleton
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&info->mm_lock
HALF_LOCKED2		&ipcp->lock

fs/backing-file.c backing_file_mmap() -> vma_set_file()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	1	file	4096-ptr_max
PARAM_VALUE	1	file->f_op	4096-ptr_max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),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
DATA_SOURCE	1	file	$0
BIT_INFO	1	file->f_mode	0x1000000,0xffffffffffffffff
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock