Defined in 2 files as a function:
- include/linux/mm.h, line 1209 (as a function)
- tools/testing/vma/include/dup.h, line 1000 (as a function)
Referenced in 8 files:
- include/linux/mm.h
- mm/ksm.c, line 752
- mm/mprotect.c, line 788
- mm/vma.c
- mm/vma_exec.c, line 120
- tools/testing/vma/include/dup.h
- tools/testing/vma/tests/merge.c
- tools/testing/vma/tests/vma.c, line 324
Smatch caller information:
drivers/dax/device.c __check_vma() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &dax_srcu |
mm/madvise.c vma_test_any_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 4096-ptr_max |
| DATA_SOURCE | 1 | to_test | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
mm/huge_memory.c vma_flags_test_single_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 4096-ptr_max |
| DATA_SOURCE | 0 | flags | $0 |
| DATA_SOURCE | 1 | to_test | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |
mm/huge_memory.c vma_test_any_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 4096-ptr_max |
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| DATA_SOURCE | 1 | to_test | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/mmap.c is_data_mapping_vma_flags() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags->__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| DATA_SOURCE | 0 | flags | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &vma->anon_vma->root->rwsem |
mm/mmap.c vma_flags_test_single_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | flags | $0 |
| DATA_SOURCE | 1 | to_test | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
mm/userfaultfd.c vma_flags_test_single_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 4096-ptr_max |
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| DATA_SOURCE | 0 | flags | $0 |
| DATA_SOURCE | 1 | to_test | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &ctx->map_changing_lock | ||
| HALF_LOCKED2 | &dst_mm->mmap_lock | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | rcu_read |
mm/userfaultfd.c vma_test_any_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 4096-ptr_max |
| DATA_SOURCE | 1 | to_test | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/swapfile.c vma_flags_test_single_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 4096-ptr_max |
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| DATA_SOURCE | 0 | flags | $0 |
| DATA_SOURCE | 1 | to_test | $1 |
| CAPABLE | 0 | 21 | |
| LOCK2 | &mm->mmap_lock | ||
| LOCK2 | ptl | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
fs/proc/task_mmu.c vma_flags_test_single_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 32,4096-ptr_max |
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| DATA_SOURCE | 0 | flags | $0 |
| DATA_SOURCE | 1 | to_test | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &vma->vm_file->f_mapping->i_mmap_rwsem | ||
| HALF_LOCKED2 | ptl |
fs/proc/task_mmu.c vma_test_any_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 32,4096-ptr_max |
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| DATA_SOURCE | 1 | to_test | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &vma->vm_file->f_mapping->i_mmap_rwsem | ||
| HALF_LOCKED2 | ptl |
mm/rmap.c vma_flags_test_single_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 4096-ptr_max |
| DATA_SOURCE | 0 | flags | $0 |
| DATA_SOURCE | 1 | to_test | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &anon_vma->root->rwsem |
mm/rmap.c vma_test_any_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 4096-ptr_max |
| DATA_SOURCE | 1 | to_test | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &anon_vma->root->rwsem | ||
| HALF_LOCKED2 | &folio->private->lock | ||
| HALF_LOCKED2 | &vma->vm_private_data->rw_sema |
mm/mprotect.c mprotect_fixup() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 8243283500085485568 |
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &tsk->signal->exec_update_lock |
mm/mprotect.c mprotect_fixup() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 2002330160899121152 |
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &tsk->signal->exec_update_lock |
mm/mprotect.c mprotect_fixup() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 8243283500085485568 |
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &tsk->signal->exec_update_lock |
mm/mprotect.c mprotect_fixup() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 8243283500085485568 |
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &tsk->signal->exec_update_lock |
mm/mprotect.c vma_flags_test_single_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 4096-ptr_max |
| DATA_SOURCE | 0 | flags | $0 |
| DATA_SOURCE | 1 | to_test | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | ptl |
mm/mprotect.c vma_test_any_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 4096-ptr_max |
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| DATA_SOURCE | 1 | to_test | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | ptl |
mm/shmem.c vma_test_any_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 4096-ptr_max |
| DATA_SOURCE | 1 | to_test | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
mm/vma_exec.c create_init_stack_vma() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 7872722523582255104 |
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| BIT_INFO | 1 | to_test | 0x0,0x7fffffffffffffff |
mm/hugetlb.c vma_flags_test_single_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 4096-ptr_max |
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| DATA_SOURCE | 0 | flags | $0 |
| DATA_SOURCE | 1 | to_test | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mapping->i_mmap_rwsem | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &oldmm->mmap_lock | ||
| HALF_LOCKED2 | &vma->vm_file->f_mapping->i_mmap_rwsem | ||
| HALF_LOCKED2 | dst_ptl | ||
| HALF_LOCKED2 | ptl | ||
| HALF_LOCKED2 | src_ptl |
mm/hugetlb.c vma_test_any_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 4096-ptr_max |
| DATA_SOURCE | 1 | to_test | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/mremap.c vma_flags_test_single_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 4096-ptr_max |
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| DATA_SOURCE | 0 | flags | $0 |
| DATA_SOURCE | 1 | to_test | $1 |
| LOCK2 | &mm->mmap_lock | ||
| LOCK2 | old_ptl | ||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &tsk->signal->exec_update_lock | ||
| HALF_LOCKED2 | new_ptl | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/mremap.c vma_test_any_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 4096-ptr_max |
| DATA_SOURCE | 1 | to_test | $1 |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/ksm.c ksm_compatible() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| RX_PATH | |||
| TASK_NOT_RUNNING |
mm/ksm.c ksm_compatible() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| RX_PATH | |||
| TASK_NOT_RUNNING |
mm/ksm.c vma_flags_test_single_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| DATA_SOURCE | 0 | flags | $0 |
| DATA_SOURCE | 1 | to_test | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
mm/vma.c accountable_mapping() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 5695852749483675704 |
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
mm/vma.c is_data_mapping_vma_flags() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 4096-ptr_max |
| PARAM_VALUE | 0 | flags->__vma_flags | 4096-ptr_max |
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| DATA_SOURCE | 0 | flags | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/vma.c vma_flags_test_single_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 4096-ptr_max |
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| DATA_SOURCE | 0 | flags | $0 |
| DATA_SOURCE | 1 | to_test | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &ctx->ring_lock | ||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/vma.c vma_merge_existing_range() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 900862351064281168,4380980868382982224,6494234614826369104,8346123094982238288 |
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/vma.c vma_merge_new_range() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 1474854196907466832,5356536376855486544,5410385347448553552,7947032063174692944 |
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| HALF_LOCKED2 | &mm->mmap_lock |
mm/vma.c vma_test_any_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 4096-ptr_max |
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| DATA_SOURCE | 1 | to_test | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/secretmem.c vma_desc_test_any_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 3854971988944465968,5235489163923165232 |
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| DATA_SOURCE | 1 | to_test | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
mm/migrate_device.c vma_test_any_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 4096-ptr_max |
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| DATA_SOURCE | 1 | to_test | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &drm->dmem->mutex | ||
| HALF_LOCKED2 | ptl |
mm/memory.c vma_flags_test_single_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 4096-ptr_max |
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| DATA_SOURCE | 0 | flags | $0 |
| DATA_SOURCE | 1 | to_test | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &oldmm->mmap_lock | ||
| HALF_LOCKED2 | dst_ptl | ||
| HALF_LOCKED2 | rcu_read | ||
| HALF_LOCKED2 | src_ptl | ||
| HALF_LOCKED2 | vmf->ptl |
mm/memory.c vma_test_any_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 4096-ptr_max |
| DATA_SOURCE | 1 | to_test | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | vmf->ptl |
mm/gup.c vma_flags_test_single_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 4096-ptr_max |
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| DATA_SOURCE | 0 | flags | $0 |
| DATA_SOURCE | 1 | to_test | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | ptl |
mm/gup.c vma_test_any_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 4096-ptr_max |
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| DATA_SOURCE | 1 | to_test | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | ptl | ||
| HALF_LOCKED2 | &mm->mmap_lock |
kernel/events/uprobes.c vma_test_any_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 4096-ptr_max |
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| DATA_SOURCE | 1 | to_test | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &uprobe->register_rwsem |
mm/migrate.c vma_flags_test_single_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 4096-ptr_max |
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| DATA_SOURCE | 0 | flags | $0 |
| DATA_SOURCE | 1 | to_test | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &anon_vma->root->rwsem | ||
| HALF_LOCKED2 | &folio->private->lock |
mm/mlock.c vma_flags_test_single_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 4096-ptr_max |
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| DATA_SOURCE | 0 | flags | $0 |
| DATA_SOURCE | 1 | to_test | $1 |
mm/mlock.c vma_test_any_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 4096-ptr_max |
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| DATA_SOURCE | 1 | to_test | $1 |
mm/khugepaged.c vma_flags_test_single_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 4096-ptr_max |
| PARAM_VALUE | 1 | to_test | s64min-(-4096),4096-s64max |
| DATA_SOURCE | 0 | flags | $0 |
| DATA_SOURCE | 1 | to_test | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &mapping->i_mmap_rwsem | ||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/khugepaged.c vma_test_any_mask() -> vma_flags_test_any_mask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | flags | 4096-ptr_max |
| DATA_SOURCE | 1 | to_test | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &((&xas)->xa)->xa_lock | ||
| HALF_LOCKED2 | &mapping->i_mmap_rwsem | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | irq |