Documented in 1 files:

Defined in 1 files as a struct:

Defined in 1 files as a prototype:

Defined in 2 files as a member:

Defined in 3 files as a function:

Referenced in 9 files:

Smatch caller information:

arch/x86/mm/kasan_init_64.c kasan_init() -> map_range()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
PARAM_VALUE 0 range->end 1-u64max
NOCHECK_CALL
LOCK2 irq

kernel/events/core.c perf_mmap() -> map_range()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
PARAM_VALUE 0 range->mmap_count.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 vma 4096-ptr_max
PARAM_VALUE 1 vma->flags.__vma_flags 4096-ptr_max
PARAM_VALUE 1 vma->vm_mm 4096-ptr_max
PARAM_VALUE 1 vma->vm_ops 5924194968261136384
BUF_SIZE 1 vma (-1)-s32max
BUF_SIZE 1 vma (-1)-s32max
BUF_SIZE 1 vma->vm_file (-1)-s32max
BUF_SIZE 1 vma->vm_ops 144
BUF_SIZE 1 vma->vm_private_data (-1),1-s32max
CAPPED_DATA 1 vma->vm_pgoff 1
DATA_SOURCE 1 vma $1
BIT_INFO 1 vma->vm_flags 0x8,0xffffffffffffffff
NOSPEC 1 vma->vm_pgoff
NOSPEC 1 vma->vm_start
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 vma->vm_end 4096-u64max[c]
USER_DATA 1 vma->vm_pgoff 0-4503599627370495[c]
USER_DATA 1 vma->vm_start 0-18446744073709547520
NO_OVERFLOW_SIMPLE 1 vma->vm_pgoff
LOCK2 _T->lock
HALF_LOCKED2 &ipcp->lock