Defined in 2 files as a function:

Referenced in 10 files:

Smatch caller information:

drivers/dax/device.c vma_desc_set_flags_mask() -> vma_flags_set_mask()

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

mm/madvise.c __mk_vma_flags_from_masks() -> vma_flags_set_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 9053236517718679552
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ctx->ring_lock
HALF_LOCKED2 &mm->mmap_lock

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ctx->ring_lock
HALF_LOCKED2 &mm->mmap_lock

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

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ctx->ring_lock
HALF_LOCKED2 &mm->mmap_lock

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

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

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

Type Parameter Key Value
PARAM_VALUE 1 to_set 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_set_mask()

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

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

Type Parameter Key Value
PARAM_VALUE 1 to_set s64min-(-4096),4096-s64max
DATA_SOURCE 1 to_set r __mk_vma_flags
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

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

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

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

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

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

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

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

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

mm/userfaultfd.c __mk_vma_flags_from_masks() -> vma_flags_set_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 7175608091944804352
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mfill_state->ctx->map_changing_lock
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &state.ctx->map_changing_lock

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

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

fs/orangefs/file.c vma_desc_set_flags_mask() -> vma_flags_set_mask()

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

mm/mseal.c __mseal_range() -> vma_flags_set_mask()

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

mm/mseal.c vma_set_flags_mask() -> vma_flags_set_mask()

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

fs/aio.c vma_desc_set_flags_mask() -> vma_flags_set_mask()

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

mm/rmap.c __mk_vma_flags_from_masks() -> vma_flags_set_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 8013158596098490368
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &anon_vma->root->rwsem
HALF_LOCKED2 &folio->private->lock

mm/rmap.c folio_referenced() -> vma_flags_set_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 2546013883221307392,5657499428038221824
DATA_SOURCE 0 flags $3
MEM_ZERO 0 flags->__vma_flags
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 flags 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &anon_vma->root->rwsem
HALF_LOCKED2 &folio->private->lock

mm/util.c vm_mmap_shadow_stack() -> vma_flags_set_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 8116295944002228224
PARAM_VALUE 1 to_set s64min-(-4096),4096-s64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

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

drivers/hwtracing/stm/core.c vma_desc_set_flags_mask() -> vma_flags_set_mask()

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

mm/shmem.c __mk_vma_flags_from_masks() -> vma_flags_set_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 5736614489627975680
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem

mm/vma_exec.c create_init_stack_vma() -> vma_flags_set_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 7872722523582255104
PARAM_VALUE 1 to_set s64min-(-4096),4096-s64max
BIT_INFO 1 to_set 0x0,0x7fffffffffffffff
NOCHECK_CALL
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/vma_exec.c create_init_stack_vma() -> vma_flags_set_mask()

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

mm/hugetlb.c __mk_vma_flags_from_masks() -> vma_flags_set_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 3835711091209605120
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mapping->i_mmap_rwsem
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &oldmm->mmap_lock
HALF_LOCKED2 &state.ctx->map_changing_lock
HALF_LOCKED2 &vma->vm_file->f_mapping->i_mmap_rwsem

mm/mremap.c __mk_vma_flags_from_masks() -> vma_flags_set_mask()

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

mm/mremap.c vma_set_flags_mask() -> vma_flags_set_mask()

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

mm/ksm.c ksm_vma_flags() -> vma_flags_set_mask()

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

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 flags 5596994351506128896
PARAM_VALUE 1 to_set 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 __install_special_mapping() -> vma_flags_set_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 5596994351506128896
PARAM_VALUE 1 to_set 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 __mmap_setup() -> vma_flags_set_mask()

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

mm/vma.c do_brk_flags() -> vma_flags_set_mask()

Type Parameter Key Value
PARAM_VALUE 1 to_set s64min-(-4096),4096-s64max
NOCHECK_CALL
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/vma.c do_brk_flags() -> vma_flags_set_mask()

Type Parameter Key Value
PARAM_VALUE 1 to_set s64min-(-4096),4096-s64max
NOCHECK_CALL
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/vma.c do_brk_flags() -> vma_flags_set_mask()

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

mm/vma.c vma_expand() -> vma_flags_set_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 689530465058762752
DATA_SOURCE 1 to_set r vma_flags_and_mask
NOCHECK_CALL
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &tsk->signal->exec_update_lock

mm/vma.c vma_expand() -> vma_flags_set_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 689530465058762752
DATA_SOURCE 1 to_set r vma_flags_and_mask
NOCHECK_CALL
HALF_LOCKED2 &mm->mmap_lock

mm/vma.c vma_merge_existing_range() -> vma_flags_set_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 7942514053485375488
DATA_SOURCE 1 to_set r vma_flags_and_mask
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mm->mmap_lock

mm/vma.c vma_merge_existing_range() -> vma_flags_set_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 7942514053485375488
DATA_SOURCE 1 to_set r vma_flags_and_mask
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mm->mmap_lock

mm/vma.c vma_set_flags_mask() -> vma_flags_set_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 4096-ptr_max
DATA_SOURCE 1 to_set $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mm->mmap_lock

mm/secretmem.c vma_desc_set_flags_mask() -> vma_flags_set_mask()

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

drivers/target/target_core_user.c vma_desc_set_flags_mask() -> vma_flags_set_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 8873968902582775856
PARAM_VALUE 1 to_set s64min-(-4096),4096-s64max
DATA_SOURCE 1 to_set $1
MEM_ZERO 0 flags
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &idev->info_lock
HALF_LOCKED2 &ipcp->lock
TYPE_LOCK (struct uio_device)->info_lock

mm/memory.c __mk_vma_flags_from_masks() -> vma_flags_set_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 6049134299492388864
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/memory.c vma_desc_set_flags_mask() -> vma_flags_set_mask()

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

mm/memory.c vma_set_flags_mask() -> vma_flags_set_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 4096-ptr_max
PARAM_VALUE 1 to_set s64min-(-4096),4096-s64max
DATA_SOURCE 1 to_set $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->attach_lock
HALF_LOCKED2 &file->device->disassociate_srcu
HALF_LOCKED2 &file->disassociation_lock
HALF_LOCKED2 &gts->ts_ctxlock
HALF_LOCKED2 &idev->info_lock
HALF_LOCKED2 &info->mm_lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &q->mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &vmcore_cb_srcu

kernel/relay.c vma_desc_set_flags_mask() -> vma_flags_set_mask()

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

fs/erofs/data.c vma_desc_set_flags_mask() -> vma_flags_set_mask()

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

fs/hugetlbfs/inode.c hugetlbfs_file_mmap() -> vma_flags_set_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 729215122062069760
PARAM_VALUE 1 to_set s64min-(-4096),4096-s64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &ipcp->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/hugetlbfs/inode.c vma_set_flags_mask() -> vma_flags_set_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 4096-ptr_max
PARAM_VALUE 1 to_set s64min-(-4096),4096-s64max
DATA_SOURCE 1 to_set $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ipcp->lock

fs/ext4/file.c vma_desc_set_flags_mask() -> vma_flags_set_mask()

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

fs/xfs/xfs_file.c vma_desc_set_flags_mask() -> vma_flags_set_mask()

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

mm/mlock.c __do_sys_mlock2() -> vma_flags_set_mask()

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

mm/mlock.c __do_sys_mlock2() -> vma_flags_set_mask()

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

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

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

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

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

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

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

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 flags 6749589187608195072
BIT_INFO 1 to_set 0x0,0x7fffffffffffffff
BIT_INFO 1 to_set 0x0,0x7fffffffffffffff
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 flags 6827399240625045504
NOCHECK_CALL

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

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

mm/khugepaged.c __mk_vma_flags_from_masks() -> vma_flags_set_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 2987208283896078336
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mm->mmap_lock

ipc/shm.c newseg() -> vma_flags_set_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 8179270687247298560
PARAM_VALUE 1 to_set s64min-(-4096),4096-s64max
NOCHECK_CALL
LOCK2 &ids->rwsem
TYPE_LOCK (struct ipc_ids)->rwsem

ipc/shm.c newseg() -> vma_flags_set_mask()

Type Parameter Key Value
PARAM_VALUE 0 flags 8179270687247298560
PARAM_VALUE 1 to_set s64min-(-4096),4096-s64max
NOCHECK_CALL
LOCK2 &ids->rwsem
TYPE_LOCK (struct ipc_ids)->rwsem

drivers/misc/open-dice.c vma_desc_set_flags_mask() -> vma_flags_set_mask()

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