Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/events/uprobes.c __uprobe_write() -> copy_to_page()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 3 len 1,4,9
BUF_SIZE 2 src (-1),9-10,15-16
DATA_SOURCE 1 vaddr $3
DATA_SOURCE 2 src $4
DATA_SOURCE 3 len $5
HARD_MAX 3 len 9
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 page unit_page
UNITS 1 vaddr unit_byte
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &uprobe->register_rwsem

kernel/events/uprobes.c arch_uprobe_copy_ixol() -> copy_to_page()

Type Parameter Key Value
PARAM_VALUE 2 src 4096-ptr_max
PARAM_VALUE 3 len 1,16
BUF_SIZE 2 src (-1),16
BUF_SIZE 2 src (-1),16
DATA_SOURCE 0 page $0
DATA_SOURCE 1 vaddr $1
DATA_SOURCE 2 src $2
DATA_SOURCE 3 len $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 vaddr unit_byte
UNITS 3 len unit_byte