Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 7 files:

Smatch caller information:

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

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 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
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

block/fops.c blkdev_mmap_prepare() -> generic_file_readonly_mmap_prepare()

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 4096-ptr_max
PARAM_VALUE 0 desc->file->f_mapping 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
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

fs/9p/vfs_file.c v9fs_file_mmap_prepare() -> generic_file_readonly_mmap_prepare()

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 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
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

mm/util.c vfs_mmap_prepare() -> (struct file_operations)->mmap_prepare()

Type Parameter Key Value
PARAM_VALUE 0 desc 3854971988944465920
DATA_SOURCE 0 desc $1
NOSPEC 0 desc->pgoff
NOSPEC 0 desc->start
MEM_ZERO 0 desc
RX_PATH
TASK_NOT_RUNNING
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
HALF_LOCKED2 &ipcp->lock

mm/vma.c vfs_mmap_prepare() -> (struct file_operations)->mmap_prepare()

Type Parameter Key Value
PARAM_VALUE 0 desc 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
PARAM_VALUE 0 desc->action.type 0
PARAM_VALUE 0 desc->file 4096-ptr_max
PARAM_VALUE 0 desc->page_prot.pgprot 0
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 4096-ptr_max
PARAM_VALUE 0 desc->vm_ops 6756087424609792000
DATA_SOURCE 0 desc $1
NO_OVERFLOW_SIMPLE 0 desc->pgoff