Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/liveness.c bpf_stack_slot_alive() -> is_live_before()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
CAPPED_DATA 2 frameno 1
CAPPED_DATA 3 half_spi 1
DATA_SOURCE 3 half_spi $2
PARAM_COMPARE 0 instance->depth >= $2
PARAM_COMPARE 2 frameno <= $0->depth
UNITS 1 insn_idx unit_array_size

kernel/bpf/liveness.c bpf_stack_slot_alive() -> is_live_before()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
CAPPED_DATA 2 frameno 1
CAPPED_DATA 3 half_spi 1
DATA_SOURCE 3 half_spi $2
PARAM_COMPARE 0 instance->depth >= $2
PARAM_COMPARE 2 frameno <= $0->depth

kernel/bpf/liveness.c bpf_stack_slot_alive() -> is_live_before()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
CAPPED_DATA 2 frameno 1
CAPPED_DATA 3 half_spi 1
DATA_SOURCE 3 half_spi $2
PARAM_COMPARE 0 instance->depth >= $2
PARAM_COMPARE 2 frameno <= $0->depth