Defined in 3 files as a function:

Referenced in 10 files:

Smatch caller information:

mm/vma.c __mmap_new_file_vma() -> mmap_file()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
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->anon_vma_chain.next 4096-ptr_max
PARAM_VALUE 1 vma->anon_vma_chain.next->next 4096-ptr_max
PARAM_VALUE 1 vma->anon_vma_chain.prev 4096-ptr_max
PARAM_VALUE 1 vma->anon_vma_chain.prev->next 4096-ptr_max
PARAM_VALUE 1 vma->anon_vma_chain.prev->prev 4096-ptr_max
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_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 1 vma $1