Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/mem.c mmap_zero_prepare() -> shmem_zero_setup_desc()

Type Parameter Key Value
PARAM_VALUE 0 desc 3854971988944465920,5235489163923165184
PARAM_VALUE 0 desc->action.map_kernel.start 0
PARAM_VALUE 0 desc->action.remap.pgprot.pgprot 0
PARAM_VALUE 0 desc->action.remap.size 0
PARAM_VALUE 0 desc->action.remap.start 0
PARAM_VALUE 0 desc->action.remap.start_pfn 0-9007199254740990
PARAM_VALUE 0 desc->action.type 0-3
PARAM_VALUE 0 desc->file 0,4096-ptr_max
PARAM_VALUE 0 desc->pgoff 0-4503599627370495
PARAM_VALUE 0 desc->private_data 0
PARAM_VALUE 0 desc->start 0-18446744073709547520
PARAM_VALUE 0 desc->vm_file 0,4096-ptr_max
PARAM_VALUE 0 desc->vm_ops 0,6756087424609792000
PARAM_VALUE 0 desc->vma_flags.__vma_flags 4096-ptr_max
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
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