Open Menu /

Defined in 3 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/usercopy.c check_stack_object() -> arch_within_stack_frames()

Type Parameter Key Value
PARAM_VALUE 0 stack 0-18446744073709547519
PARAM_VALUE 1 stackend 4096-ptr_max
PARAM_VALUE 2 obj 17-18446744073709547519
PARAM_VALUE 3 len 1-u64max
BUF_SIZE 0 stack 32768
BUF_SIZE 0 stack 32768
CAPPED_DATA 0 stack 1
CAPPED_DATA 2 obj 1
DATA_SOURCE 0 stack r task_stack_page
DATA_SOURCE 2 obj $0
DATA_SOURCE 3 len $1
PARAM_COMPARE 0 stack < $1
PARAM_COMPARE 0 stack < $1
PARAM_COMPARE 0 stack <= $2
PARAM_COMPARE 0 stack == $1
PARAM_COMPARE 1 stackend > $0
PARAM_COMPARE 1 stackend > $2
PARAM_COMPARE 2 obj < $0
PARAM_COMPARE 2 obj < $1
PARAM_COMPARE 2 obj < $1
PARAM_COMPARE 2 obj >= $0
PARAM_COMPARE 2 obj >= $0