Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

mm/util.c mmap_action_prepare() -> map_kernel_pages_prepare()

Type Parameter Key Value
PARAM_VALUE 0 desc 1325290474384461824,3854971988944465920,5235489163923165184,8873968902582775808
PARAM_VALUE 0 desc->action.error_override 0
PARAM_VALUE 0 desc->action.map_kernel.nr_pages 0
PARAM_VALUE 0 desc->action.map_kernel.pages 0-9007199254740990
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,3
PARAM_VALUE 0 desc->private_data 0,4096-ptr_max
PARAM_VALUE 0 desc->vm_ops 0,4713896032620187648,6756087424609792000
BUF_SIZE 0 desc->vm_ops (-1),144
DATA_SOURCE 0 desc $0
NOSPEC 0 desc->pgoff
NOSPEC 0 desc->start
HARD_MAX 0 desc->action.type 3
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