Defined in 2 files as a function:
- include/linux/mm.h, line 1373 (as a function)
- tools/testing/vma/include/dup.h, line 1087 (as a function)
Referenced in 12 files:
- fs/hugetlbfs/inode.c, line 160
- mm/huge_memory.c, line 4731
- mm/hugetlb.c
- mm/mlock.c
- mm/mmap.c
- mm/mprotect.c
- mm/mremap.c
- mm/mseal.c, line 50
- mm/rmap.c, line 930
- mm/userfaultfd.c, line 2333
- mm/vma.c
- tools/testing/vma/tests/vma.c
Smatch caller information:
mm/huge_memory.c vma_not_suitable_for_thp_split() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 14 |
| DATA_SOURCE | 0 | vma | $0 |
| LOCK2 | &mm->mmap_lock | ||
| LOCK2 | &split_debug_mutex | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/mmap.c __do_sys_remap_file_pages() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 1-u64max |
| PARAM_VALUE | 1 | bit | 3 |
| DATA_SOURCE | 0 | vma | r vma_lookup |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/mmap.c __do_sys_remap_file_pages() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 1-u64max |
| PARAM_VALUE | 0 | vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 0 |
| DATA_SOURCE | 0 | vma | r vma_lookup |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/mmap.c __do_sys_remap_file_pages() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 1-u64max |
| PARAM_VALUE | 0 | vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 1 |
| DATA_SOURCE | 0 | vma | r vma_lookup |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/mmap.c __do_sys_remap_file_pages() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 1-u64max |
| PARAM_VALUE | 0 | vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 2 |
| DATA_SOURCE | 0 | vma | r vma_lookup |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/mmap.c __do_sys_remap_file_pages() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 1-u64max |
| PARAM_VALUE | 0 | vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 13 |
| DATA_SOURCE | 0 | vma | r vma_lookup |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/mmap.c __do_sys_remap_file_pages() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 1-u64max |
| PARAM_VALUE | 1 | bit | 3 |
| DATA_SOURCE | 0 | vma | r vma_lookup |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/mmap.c __do_sys_remap_file_pages() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 1-u64max |
| PARAM_VALUE | 0 | vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 0 |
| DATA_SOURCE | 0 | vma | r vma_lookup |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/mmap.c __do_sys_remap_file_pages() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 1-u64max |
| PARAM_VALUE | 0 | vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 1 |
| DATA_SOURCE | 0 | vma | r vma_lookup |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/mmap.c __do_sys_remap_file_pages() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 1-u64max |
| PARAM_VALUE | 0 | vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 2 |
| DATA_SOURCE | 0 | vma | r vma_lookup |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/mmap.c __do_sys_remap_file_pages() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 1-u64max |
| PARAM_VALUE | 0 | vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 13 |
| DATA_SOURCE | 0 | vma | r vma_lookup |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/mmap.c dup_mmap() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 17 |
| DATA_SOURCE | 0 | vma | r vma_next |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &mm->mmap_lock | ||
| LOCK2 | &oldmm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/mmap.c dup_mmap() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 20 |
| DATA_SOURCE | 0 | vma | r vma_next |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &mm->mmap_lock | ||
| LOCK2 | &oldmm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/mmap.c dup_mmap() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 25 |
| CAPPED_DATA | 0 | vma->vm_mm->mm_id | 1 |
| DATA_SOURCE | 0 | vma | r vm_area_dup |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_start | |
| UNITS | 0 | vma | unit_byte |
| LOCK2 | &mm->mmap_lock | ||
| LOCK2 | &oldmm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/mmap.c dup_mmap() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 25 |
| CAPPED_DATA | 0 | vma->vm_mm->mm_id | 1 |
| DATA_SOURCE | 0 | vma | r vm_area_dup |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_start | |
| UNITS | 0 | vma | unit_byte |
| LOCK2 | &mm->mmap_lock | ||
| LOCK2 | &oldmm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/mmap.c find_extend_vma_locked() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 13 |
| CAPPED_DATA | 0 | vma | 1 |
| CAPPED_DATA | 0 | vma->vm_mm->map_count | 1 |
| DATA_SOURCE | 0 | vma | r find_vma |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_start | |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/mmap.c mmap_read_lock_maybe_expand() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 8 |
| DATA_SOURCE | 0 | vma | $1 |
mm/mmap.c tear_down_vmas() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 20 |
| DATA_SOURCE | 0 | vma | $2 [m] |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_start | |
| UNITS | 0 | vma | unit_byte |
| LOCK2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &oldmm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/userfaultfd.c userfaultfd_register_range() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 5 |
| DATA_SOURCE | 0 | vma | r vma_find |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_start | |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/mseal.c __mseal_range() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 42 |
| DATA_SOURCE | 0 | vma | r vma_find |
mm/rmap.c folio_referenced_one() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 13 |
| DATA_SOURCE | 0 | vma | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_start | |
| HALF_LOCKED2 | &anon_vma->root->rwsem | ||
| HALF_LOCKED2 | &folio->private->lock |
mm/mprotect.c can_change_pte_writable() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 3 |
| BUF_SIZE | 0 | vma | (-1),1-s32max |
| BUF_SIZE | 0 | vma | (-1),1-s32max |
| CAPPED_DATA | 0 | vma | 1 |
| DATA_SOURCE | 0 | vma | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_pgoff | |
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | rcu_read | ||
| HALF_LOCKED2 | vmf->ptl |
mm/mprotect.c do_mprotect_pkey() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 8 |
| CAPPED_DATA | 0 | vma->vm_start | 1 |
| DATA_SOURCE | 0 | vma | r vma_find |
mm/mprotect.c do_mprotect_pkey() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 6 |
| CAPPED_DATA | 0 | vma->vm_start | 1 |
| DATA_SOURCE | 0 | vma | r vma_find |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_end |
mm/mprotect.c maybe_change_pte_writable() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 1 |
| BUF_SIZE | 0 | vma | (-1),4,24,64,168-s32max |
| BUF_SIZE | 0 | vma | (-1),4,24,64,168-s32max |
| DATA_SOURCE | 0 | vma | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | vma->vm_end | 1-u64max[c] |
| USER_DATA | 0 | vma->vm_start | 1-u64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_file->f_mapping->host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_pgoff | |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_start | |
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | ptl |
mm/mprotect.c set_write_prot_commit_flush_ptes() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 3 |
| DATA_SOURCE | 0 | vma | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | vma->vm_end | 1-u64max[c] |
| USER_DATA | 0 | vma->vm_start | 1-u64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_start | |
| LOCK2 | ptl | ||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/hugetlb.c hugetlb_reserve_pages() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 7 |
| 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_ops | 144 |
| BUF_SIZE | 0 | vma->vm_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $3 |
| NOSPEC | 0 | vma->vm_end | |
| NOSPEC | 0 | vma->vm_pgoff | |
| NOSPEC | 0 | vma->vm_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | vma->vm_end | 4096-u64max[c] |
| USER_DATA | 0 | vma->vm_pgoff | 0-2251799813685246[c] |
| USER_DATA | 0 | vma->vm_start | 0-18446744073709547520 |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_pgoff | |
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &ipcp->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
mm/hugetlb.c hugetlb_reserve_pages() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 7 |
| 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_ops | 144 |
| BUF_SIZE | 0 | vma->vm_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $3 |
| NOSPEC | 0 | vma->vm_end | |
| NOSPEC | 0 | vma->vm_pgoff | |
| NOSPEC | 0 | vma->vm_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | vma->vm_end | 4096-u64max[c] |
| USER_DATA | 0 | vma->vm_pgoff | 0-2251799813685246[c] |
| USER_DATA | 0 | vma->vm_start | 0-18446744073709547520 |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_pgoff | |
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &ipcp->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
mm/hugetlb.c hugetlb_reserve_pages() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 7 |
| 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_ops | 144 |
| BUF_SIZE | 0 | vma->vm_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $3 |
| NOSPEC | 0 | vma->vm_end | |
| NOSPEC | 0 | vma->vm_pgoff | |
| NOSPEC | 0 | vma->vm_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | vma->vm_end | 4096-u64max[c] |
| USER_DATA | 0 | vma->vm_pgoff | 0-2251799813685246[c] |
| USER_DATA | 0 | vma->vm_start | 0-18446744073709547520 |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_pgoff | |
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &ipcp->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
mm/hugetlb.c hugetlb_reserve_pages() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 7 |
| 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_ops | 144 |
| BUF_SIZE | 0 | vma->vm_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $3 |
| NOSPEC | 0 | vma->vm_end | |
| NOSPEC | 0 | vma->vm_pgoff | |
| NOSPEC | 0 | vma->vm_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | vma->vm_end | 4096-u64max[c] |
| USER_DATA | 0 | vma->vm_pgoff | 0-2251799813685246[c] |
| USER_DATA | 0 | vma->vm_start | 0-18446744073709547520 |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_pgoff | |
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &ipcp->lock | ||
| HALF_LOCKED2 | &resv_map->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
mm/hugetlb.c set_vma_resv_flags() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 7 |
| 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_ops | (-1),144 |
| DATA_SOURCE | 0 | vma | $0 |
| NOSPEC | 0 | vma->vm_end | |
| NOSPEC | 0 | vma->vm_pgoff | |
| NOSPEC | 0 | vma->vm_start | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | vma->vm_end | 4096-u64max[c] |
| USER_DATA | 0 | vma->vm_pgoff | 0-2251799813685246[c] |
| USER_DATA | 0 | vma->vm_start | 0-18446744073709547520 |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_file->f_mapping->host->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_pgoff | |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_policy->mode | |
| UNITS | 0 | vma | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &mapping->i_mmap_rwsem | ||
| HALF_LOCKED2 | 0 | &vma->vm_private_data->rw_sema |
mm/hugetlb.c set_vma_resv_map() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 7 |
| 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_ops | 144 |
| BUF_SIZE | 0 | vma->vm_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $0 |
| NOSPEC | 0 | vma->vm_end | |
| NOSPEC | 0 | vma->vm_pgoff | |
| NOSPEC | 0 | vma->vm_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | vma->vm_end | 4096-u64max[c] |
| USER_DATA | 0 | vma->vm_pgoff | 0-2251799813685246[c] |
| USER_DATA | 0 | vma->vm_start | 0-18446744073709547520 |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_pgoff | |
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &ipcp->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
mm/mremap.c check_prep_vma() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 13 |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/mremap.c check_prep_vma() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 13 |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/mremap.c unmap_source_vma() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 20 |
| USER_DATA | 0 | vma->vm_end | 0-u64max |
| USER_DATA | 0 | vma->vm_pgoff | 0-4503599627370495[c] |
| USER_DATA | 0 | vma->vm_start | 0-18446744073709547520[c] |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_end | |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/mremap.c vrm_calc_charge() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 20 |
| CAPPED_DATA | 0 | vma | 1 |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_end | |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/mremap.c vrm_set_new_addr() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 7 |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_end | |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/mremap.c vrm_stat_account() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 13 |
| USER_DATA | 0 | vma->vm_end | 0-u64max |
| USER_DATA | 0 | vma->vm_pgoff | 0-4503599627370495[c] |
| USER_DATA | 0 | vma->vm_start | 0-18446744073709547520[c] |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_end | |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/mremap.c vrm_uncharge() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 20 |
| CAPPED_DATA | 0 | vma | 1 |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_end | |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/vma.c __mmap_complete() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 13 |
| DATA_SOURCE | 0 | vma | $1 |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_pgoff |
mm/vma.c __mmap_new_file_vma() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 5 |
| CAPPED_DATA | 0 | vma->vm_start | 1 |
| DATA_SOURCE | 0 | vma | $1 |
mm/vma.c acct_stack_growth() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 13 |
| CAPPED_DATA | 0 | vma | 1 |
| DATA_SOURCE | 0 | vma | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_file->f_mapping->host->i_bytes | |
| LOCK2 | 0 | &vma->anon_vma->root->rwsem | |
| HALF_LOCKED2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct anon_vma)->rwsem |
mm/vma.c expand_downwards() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 8 |
| CAPPED_DATA | 0 | vma | 1 |
| DATA_SOURCE | 0 | vma | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_start | |
| HALF_LOCKED2 | &mm->mmap_lock |
mm/vma.c expand_downwards() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 1-u64max |
| PARAM_VALUE | 1 | bit | 8 |
| DATA_SOURCE | 0 | vma | r vma_prev |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/vma.c expand_downwards() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 13 |
| CAPPED_DATA | 0 | vma | 1 |
| DATA_SOURCE | 0 | vma | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_policy->mode | |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_start | |
| LOCK2 | 0 | &vma->anon_vma->root->rwsem | |
| HALF_LOCKED2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct anon_vma)->rwsem |
mm/vma.c insert_vm_struct() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 20 |
| DATA_SOURCE | 0 | vma | $1 |
| BIT_INFO | 0 | vma->flags | 0x0,0x7fffffffffffffff |
| NOSPEC | 0 | vma->vm_pgoff | |
| NOSPEC | 0 | vma->vm_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | vma->vm_end | 0-u64max |
| USER_DATA | 0 | vma->vm_pgoff | 0[c] |
| USER_DATA | 0 | vma->vm_start | 0-u64max |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/vma.c insert_vm_struct() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 20 |
| DATA_SOURCE | 0 | vma | $1 |
| BIT_INFO | 0 | vma->flags | 0x0,0x7fffffffffffffff |
| NOSPEC | 0 | vma->vm_pgoff | |
| NOSPEC | 0 | vma->vm_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | vma->vm_end | 0-u64max |
| USER_DATA | 0 | vma->vm_pgoff | 0[c] |
| USER_DATA | 0 | vma->vm_start | 0-u64max |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/vma.c vma_fs_can_writeback() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 10 |
| BUF_SIZE | 0 | vma | (-1),4,24,64,168-s32max |
| BUF_SIZE | 0 | vma | (-1),4,24,64,168-s32max |
| DATA_SOURCE | 0 | vma | $0 |
| NOSPEC | 0 | vma->vm_start | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | vma->shared.rb_subtree_last | 0-u64max[u] |
| USER_DATA | 0 | vma->vm_pgoff | 0-4503599627370495[c] |
| USER_DATA | 0 | vma->vm_start | 0-u64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_end | |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_file->f_mapping->host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_file->f_mapping->host->i_size | |
| UNITS | 0 | vma | unit_byte |
| HALF_LOCKED2 | &mm->mmap_lock |
mm/vma.c vms_gather_munmap_vmas() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 13 |
| DATA_SOURCE | 0 | vma | r vma_find |
| NOSPEC | 0 | vma->vm_end | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | vma->vm_end | 1-18446744073709551614[c] |
mm/vma.c vms_gather_munmap_vmas() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->flags.__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 20 |
| DATA_SOURCE | 0 | vma | r vma_find |
| NOSPEC | 0 | vma->vm_end | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | vma->vm_end | 1-18446744073709551614[c] |
fs/hugetlbfs/inode.c hugetlbfs_file_mmap() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 1 |
| 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_ops | 144 |
| DATA_SOURCE | 0 | vma | $1 |
| NOSPEC | 0 | vma->vm_end | |
| NOSPEC | 0 | vma->vm_pgoff | |
| NOSPEC | 0 | vma->vm_start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | vma->vm_end | 4096-u64max[c] |
| USER_DATA | 0 | vma->vm_pgoff | 0-2251799813685246[c] |
| USER_DATA | 0 | vma->vm_start | 0-18446744073709547520 |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_pgoff | |
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &ipcp->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
mm/mlock.c allow_mlock_munlock() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 13 |
| DATA_SOURCE | 0 | vma | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_end | |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_start | |
| LOCK2 | ptl | ||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/mlock.c count_mm_mlocked_page_nr() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 1-u64max |
| PARAM_VALUE | 1 | bit | 13 |
| DATA_SOURCE | 0 | vma | r vma_find |
| CAPABLE | 0 | 14 |
mm/mlock.c mlock_pte_range() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 0,4096-ptr_max |
| PARAM_VALUE | 1 | bit | 13 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_end | |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_start | |
| HALF_LOCKED2 | &mm->mmap_lock |
mm/mlock.c mlock_pte_range() -> vma_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 13 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_end | |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_start | |
| LOCK2 | ptl | ||
| HALF_LOCKED2 | &mm->mmap_lock |