Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/liveness.c record_stack_access() -> record_stack_access_off()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 1 fp_off s16min-s16max
PARAM_VALUE 2 access_bytes s64min-(-1),1-s64max
PARAM_VALUE 3 frame 0-127
BUF_SIZE 0 instance (-1),176
BUF_SIZE 0 instance (-1),176
CAPPED_DATA 3 frame 1
DATA_SOURCE 0 instance $0
DATA_SOURCE 2 access_bytes $2
DATA_SOURCE 3 frame $3
DATA_SOURCE 4 insn_idx $4
UNITS 2 access_bytes unit_byte
UNITS 4 insn_idx unit_array_size