Defined in 2 files as a function:

Referenced in 6 files:

Smatch caller information:

mm/mmap.c do_mmap() -> vma_flags_clear_mask()

Type Parameter Key Value
PARAM_VALUE 1 to_clear s64min-(-4096),4096-s64max
RX_PATH
NOCHECK_CALL
HALF_LOCKED2 &ctx->ring_lock
HALF_LOCKED2 &mm->mmap_lock

mm/mmap.c do_mmap() -> vma_flags_clear_mask()

Type Parameter Key Value
PARAM_VALUE 1 to_clear s64min-(-4096),4096-s64max
RX_PATH
NOCHECK_CALL
HALF_LOCKED2 &ctx->ring_lock
HALF_LOCKED2 &mm->mmap_lock

mm/mmap.c vma_clear_flags_mask() -> vma_flags_clear_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 4096-ptr_max
PARAM_VALUE 1 to_clear s64min-(-4096),4096-s64max
DATA_SOURCE 1 to_clear $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mm->mmap_lock
LOCK2 &oldmm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/mmap.c vma_set_page_prot() -> vma_flags_clear_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 5173785220018229248
PARAM_VALUE 1 to_clear s64min-(-4096),4096-s64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mm->mmap_lock

mm/userfaultfd.c userfaultfd_clear_vma() -> vma_flags_clear_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 81516545326116864
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/userfaultfd.c userfaultfd_register_range() -> vma_flags_clear_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 1815145564270141440
NOCHECK_CALL
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

fs/orangefs/file.c vma_desc_clear_flags_mask() -> vma_flags_clear_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 3854971988944465968,5235489163923165232
PARAM_VALUE 1 to_clear s64min-(-4096),4096-s64max
DATA_SOURCE 1 to_clear $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/rmap.c folio_referenced_one() -> vma_flags_clear_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 5911844485344722944
PARAM_VALUE 1 to_clear s64min-(-4096),4096-s64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &anon_vma->root->rwsem
HALF_LOCKED2 &folio->private->lock

mm/mprotect.c mprotect_fixup() -> vma_flags_clear_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 2002330160899121152
PARAM_VALUE 1 to_clear s64min-(-4096),4096-s64max
NOCHECK_CALL
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &tsk->signal->exec_update_lock

mm/mremap.c vma_clear_flags_mask() -> vma_flags_clear_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 4096-ptr_max
PARAM_VALUE 1 to_clear s64min-(-4096),4096-s64max
DATA_SOURCE 1 to_clear $1
NOCHECK_CALL
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/vma.c __install_special_mapping() -> vma_flags_clear_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 5596994351506128896
PARAM_VALUE 1 to_clear s64min-(-4096),4096-s64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/vma.c anon_vma_compatible() -> vma_flags_clear_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 5080935508039110656
PARAM_VALUE 1 to_clear s64min-(-4096),4096-s64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &a->vm_mm->mmap_lock
HALF_LOCKED2 &b->vm_mm->mmap_lock
HALF_LOCKED2 &mm->mmap_lock

mm/vma.c anon_vma_compatible() -> vma_flags_clear_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 5080935508039110656
PARAM_VALUE 1 to_clear s64min-(-4096),4096-s64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &a->vm_mm->mmap_lock
HALF_LOCKED2 &b->vm_mm->mmap_lock
HALF_LOCKED2 &mm->mmap_lock

mm/vma.c is_mergeable_vma() -> vma_flags_clear_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 2937670754417668096
PARAM_VALUE 1 to_clear s64min-(-4096),4096-s64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mm->mmap_lock

mm/vma.c vma_clear_flags_mask() -> vma_flags_clear_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 4096-ptr_max
PARAM_VALUE 1 to_clear s64min-(-4096),4096-s64max
DATA_SOURCE 1 to_clear $1
NOCHECK_CALL

mm/mlock.c apply_mlockall_flags() -> vma_flags_clear_mask()

Type Parameter Key Value
PARAM_VALUE 1 to_clear s64min-(-4096),4096-s64max
NOCHECK_CALL

mm/mlock.c apply_mlockall_flags() -> vma_flags_clear_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 6749589187608195072
PARAM_VALUE 1 to_clear s64min-(-4096),4096-s64max
NOCHECK_CALL

mm/mlock.c apply_vma_lock_flags() -> vma_flags_clear_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 6827399240625045504
PARAM_VALUE 1 to_clear s64min-(-4096),4096-s64max
NOCHECK_CALL

mm/mlock.c mlock_vma_pages_range() -> vma_flags_clear_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 6749589187608195072,6827399240625045504
PARAM_VALUE 0 flags->__vma_flags 4096-ptr_max
PARAM_VALUE 1 to_clear s64min-(-4096),4096-s64max
DATA_SOURCE 0 flags $3
NOCHECK_CALL

mm/memfd.c check_write_seal() -> vma_flags_clear_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags->__vma_flags 4096-ptr_max
PARAM_VALUE 1 to_clear s64min-(-4096),4096-s64max
DATA_SOURCE 0 flags $0
RX_PATH
NOCHECK_CALL
HALF_LOCKED2 &ctx->ring_lock
HALF_LOCKED2 &mm->mmap_lock

drivers/misc/open-dice.c vma_desc_clear_flags_mask() -> vma_flags_clear_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 3854971988944465968,5235489163923165232
PARAM_VALUE 1 to_clear s64min-(-4096),4096-s64max
DATA_SOURCE 1 to_clear $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL