Defined in 2 files as a function:

Referenced in 4 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 desc 3854971988944465920,5235489163923165184
PARAM_VALUE 1 flags s64min-(-4096),4096-s64max
BUF_SIZE 0 desc->vm_ops 144
DATA_SOURCE 0 desc $0
NOSPEC 0 desc->pgoff
NOSPEC 0 desc->start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 desc->end 0[c]
USER_DATA 0 desc->pgoff 0-4503599627370495[c]
USER_DATA 0 desc->start 0-s32max,18446744071562067968-18446744073709547520[c]
NO_OVERFLOW_SIMPLE 0 desc->pgoff

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

Type Parameter Key Value
PARAM_VALUE 0 desc 3854971988944465920,5235489163923165184
PARAM_VALUE 1 flags s64min-(-4096),4096-s64max
BUF_SIZE 0 desc->vm_ops (-1),144
DATA_SOURCE 0 desc $0
NOSPEC 0 desc->pgoff
NOSPEC 0 desc->start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 desc->end 0[c]
USER_DATA 0 desc->pgoff 0-4503599627370495[c]
USER_DATA 0 desc->start 0-s32max,18446744071562067968-18446744073709547520[c]
NO_OVERFLOW_SIMPLE 0 desc->pgoff

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

Type Parameter Key Value
PARAM_VALUE 0 desc 3854971988944465920,5235489163923165184
PARAM_VALUE 1 flags s64min-(-4096),4096-s64max
BUF_SIZE 0 desc->vm_ops (-1),144
DATA_SOURCE 0 desc $0
NOSPEC 0 desc->pgoff
NOSPEC 0 desc->start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 desc->end 0[c]
USER_DATA 0 desc->pgoff 0-4503599627370495[c]
USER_DATA 0 desc->start 0-s32max,18446744071562067968-18446744073709547520[c]
NO_OVERFLOW_SIMPLE 0 desc->pgoff

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

Type Parameter Key Value
PARAM_VALUE 0 desc 3854971988944465920,5235489163923165184
PARAM_VALUE 1 flags s64min-(-4096),4096-s64max
BUF_SIZE 0 desc->vm_ops (-1),144
DATA_SOURCE 0 desc $0
NOSPEC 0 desc->pgoff
NOSPEC 0 desc->start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 desc->end 0[c]
USER_DATA 0 desc->pgoff 0[c]
USER_DATA 0 desc->start 0-s32max,18446744071562067968-18446744073709547520[c]
NO_OVERFLOW_SIMPLE 0 desc->pgoff

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

Type Parameter Key Value
PARAM_VALUE 0 desc 3854971988944465920,5235489163923165184
PARAM_VALUE 1 flags s64min-(-4096),4096-s64max
BUF_SIZE 0 desc->vm_ops (-1),144
DATA_SOURCE 0 desc $0
NOSPEC 0 desc->pgoff
NOSPEC 0 desc->start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 desc->end 0[c]
USER_DATA 0 desc->pgoff 0-4503599627370495[c]
USER_DATA 0 desc->start 0-s32max,18446744071562067968-18446744073709547520[c]
NO_OVERFLOW_SIMPLE 0 desc->pgoff

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

Type Parameter Key Value
PARAM_VALUE 0 desc 8873968902582775808
PARAM_VALUE 1 flags s64min-(-4096),4096-s64max
DATA_SOURCE 0 desc $1
NOSPEC 0 desc->pgoff
NOSPEC 0 desc->start
MEM_ZERO 0 desc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 desc->end 0[c]
USER_DATA 0 desc->pgoff 0[c]
USER_DATA 0 desc->start 0
NO_OVERFLOW_SIMPLE 0 desc->pgoff
LOCK2 &idev->info_lock
HALF_LOCKED2 &ipcp->lock
TYPE_LOCK (struct uio_device)->info_lock

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

Type Parameter Key Value
PARAM_VALUE 0 desc 1325290474384461824,3854971988944465920,5235489163923165184,8873968902582775808
PARAM_VALUE 0 desc->vma_flags.__vma_flags 4096-ptr_max
PARAM_VALUE 1 flags s64min-(-4096),4096-s64max
BUF_SIZE 0 desc->vm_ops (-1),144
DATA_SOURCE 0 desc $0
NOSPEC 0 desc->pgoff
NOSPEC 0 desc->start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 desc->end 0[c]
USER_DATA 0 desc->pgoff 0-4503599627370495[c]
USER_DATA 0 desc->start 0-s32max,18446744071562067968-18446744073709547520
NO_OVERFLOW_SIMPLE 0 desc->pgoff
HALF_LOCKED2 0 &desc->mm->mmap_lock

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

Type Parameter Key Value
PARAM_VALUE 0 desc 1325290474384461824,3854971988944465920,5235489163923165184,8873968902582775808
PARAM_VALUE 0 desc->vma_flags.__vma_flags 4096-ptr_max
PARAM_VALUE 1 flags s64min-(-4096),4096-s64max
BUF_SIZE 0 desc->vm_ops (-1),144
CAPPED_DATA 0 desc->start 1
DATA_SOURCE 0 desc $0
NOSPEC 0 desc->pgoff
NOSPEC 0 desc->start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 desc->end 0,4096-u64max[c]
USER_DATA 0 desc->pgoff 0-4503599627370495[c]
USER_DATA 0 desc->start 0-18446744073709547520[c]
NO_OVERFLOW_SIMPLE 0 desc->pgoff

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

Type Parameter Key Value
PARAM_VALUE 0 desc 3854971988944465920,5235489163923165184
PARAM_VALUE 1 flags s64min-(-4096),4096-s64max
BUF_SIZE 0 desc->vm_ops 144
DATA_SOURCE 0 desc $1
NOSPEC 0 desc->pgoff
NOSPEC 0 desc->start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 desc->end 0[c]
USER_DATA 0 desc->pgoff 0-4503599627370495[c]
USER_DATA 0 desc->start 0-s32max,18446744071562067968-18446744073709547520
NO_OVERFLOW_SIMPLE 0 desc->pgoff

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

Type Parameter Key Value
PARAM_VALUE 0 desc 3854971988944465920,5235489163923165184
PARAM_VALUE 1 flags s64min-(-4096),4096-s64max
BUF_SIZE 0 desc->vm_ops 144
DATA_SOURCE 0 desc $0
NOSPEC 0 desc->pgoff
NOSPEC 0 desc->start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 desc->end 0[c]
USER_DATA 0 desc->pgoff 0-4503599627370495[c]
USER_DATA 0 desc->start 0-s32max,18446744071562067968-18446744073709547520[c]
NO_OVERFLOW_SIMPLE 0 desc->pgoff

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

Type Parameter Key Value
PARAM_VALUE 0 desc 3854971988944465920,5235489163923165184
PARAM_VALUE 0 desc->vma_flags.__vma_flags 4096-ptr_max
PARAM_VALUE 1 flags s64min-(-4096),4096-s64max
BUF_SIZE 0 desc->vm_ops 144
DATA_SOURCE 0 desc $0
NOSPEC 0 desc->pgoff
NOSPEC 0 desc->start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 desc->end 0[c]
USER_DATA 0 desc->pgoff 0-4503599627370495[c]
USER_DATA 0 desc->start 0-s32max,18446744071562067968-18446744073709547520[c]
NO_OVERFLOW_SIMPLE 0 desc->pgoff

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

Type Parameter Key Value
PARAM_VALUE 0 desc 3854971988944465920,5235489163923165184
PARAM_VALUE 0 desc->vma_flags.__vma_flags 4096-ptr_max
PARAM_VALUE 1 flags s64min-(-4096),4096-s64max
BUF_SIZE 0 desc->vm_ops 144
DATA_SOURCE 0 desc $0
NOSPEC 0 desc->pgoff
NOSPEC 0 desc->start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 desc->end 0[c]
USER_DATA 0 desc->pgoff 0-4503599627370495[c]
USER_DATA 0 desc->start 0-s32max,18446744071562067968-18446744073709547520[c]
NO_OVERFLOW_SIMPLE 0 desc->pgoff

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

Type Parameter Key Value
PARAM_VALUE 0 desc 3854971988944465920,5235489163923165184
PARAM_VALUE 0 desc->vma_flags.__vma_flags 4096-ptr_max
PARAM_VALUE 1 flags s64min-(-4096),4096-s64max
BUF_SIZE 0 desc->vm_ops (-1),144
DATA_SOURCE 0 desc $0
NOSPEC 0 desc->pgoff
NOSPEC 0 desc->start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 desc->end 0[c]
USER_DATA 0 desc->pgoff 0-4503599627370495[c]
USER_DATA 0 desc->start 0-s32max,18446744071562067968-18446744073709547520[c]
NO_OVERFLOW_SIMPLE 0 desc->pgoff