Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/liveness.c mark_stack_read() -> alloc_frame_masks()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 1 frame 0-s32max
BUF_SIZE 0 instance (-1),176
BUF_SIZE 0 instance (-1),176
CAPPED_DATA 1 frame 1
DATA_SOURCE 0 instance $0
DATA_SOURCE 1 frame $1
DATA_SOURCE 2 insn_idx $2
NO_OVERFLOW_SIMPLE 0 instance->insn_cnt
UNITS 2 insn_idx unit_array_size

kernel/bpf/liveness.c mark_stack_write() -> alloc_frame_masks()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 1 frame 0-127
BUF_SIZE 0 instance (-1),176
BUF_SIZE 0 instance (-1),176
CAPPED_DATA 1 frame 1
DATA_SOURCE 0 instance $0
DATA_SOURCE 1 frame $1
DATA_SOURCE 2 insn_idx $2
NO_OVERFLOW_SIMPLE 0 instance->insn_cnt
UNITS 2 insn_idx unit_array_size