Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/process_vm_access.c process_vm_rw_single_vec() -> process_vm_rw_pages()

Type Parameter Key Value
PARAM_VALUE 0 pages 16,4096-ptr_max
PARAM_VALUE 3 iter 5542168557316276224
PARAM_VALUE 4 vm_write 0-1
BUF_SIZE 0 pages 0-8192
BUF_SIZE 0 pages 0-8192
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 0 pages $3
DATA_SOURCE 3 iter $2
DATA_SOURCE 4 vm_write $6
HARD_MAX 4 vm_write 1
UNITS 1 offset unit_byte
UNITS 2 len unit_byte
HALF_LOCKED2 &mm->mmap_lock