Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

mm/madvise.c is_shared_maywrite() -> vma_flags_test_all_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
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &madv_behavior->mm->mmap_lock

mm/mmap.c is_shared_maywrite() -> vma_flags_test_all_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
RX_PATH
TASK_NOT_RUNNING
LOCK2 &mapping->i_mmap_rwsem
LOCK2 &mm->mmap_lock
LOCK2 &oldmm->mmap_lock
TYPE_LOCK (struct address_space)->i_mmap_rwsem
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/userfaultfd.c vma_test_all_mask() -> vma_flags_test_all_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/vma.c is_shared_maywrite() -> vma_flags_test_all_mask()

Type Parameter Key Value
PARAM_VALUE 1 to_test s64min-(-4096),4096-s64max
DATA_SOURCE 0 flags $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock

mm/vma.c vma_test_all_mask() -> vma_flags_test_all_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/filemap.c is_shared_maywrite() -> vma_flags_test_all_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
RX_PATH
TASK_NOT_RUNNING

mm/memory.c vma_test_all_mask() -> vma_flags_test_all_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

fs/erofs/data.c vma_desc_test_all_mask() -> vma_flags_test_all_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

fs/ntfs/file.c vma_desc_test_all_mask() -> vma_flags_test_all_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

fs/zonefs/file.c vma_desc_test_all_mask() -> vma_flags_test_all_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