Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/bpf/liveness.c arg_track_xfer() -> is_stack_arg_stx()

Type Parameter Key Value
PARAM_VALUE 0 insn 4096-ptr_max
DATA_SOURCE 0 insn $1

kernel/bpf/liveness.c arg_track_xfer() -> is_stack_arg_stx()

Type Parameter Key Value
PARAM_VALUE 0 insn 4096-ptr_max
PARAM_VALUE 0 insn->code 122-123
PARAM_VALUE 0 insn->dst_reg 11
PARAM_VALUE 0 insn->off s16min-(-2)
DATA_SOURCE 0 insn $1

kernel/bpf/liveness.c record_load_store_access() -> is_stack_arg_stx()

Type Parameter Key Value
PARAM_VALUE 0 insn 4096-ptr_max
PARAM_VALUE 0 insn->code 8-255

kernel/bpf/const_fold.c const_reg_xfer() -> is_stack_arg_stx()

Type Parameter Key Value
PARAM_VALUE 0 insn 4096-ptr_max
DATA_SOURCE 0 insn $2

kernel/bpf/verifier.c check_and_resolve_insns() -> is_stack_arg_stx()

Type Parameter Key Value
PARAM_VALUE 0 insn 4096-ptr_max
PARAM_VALUE 0 insn->dst_reg 11-15

kernel/bpf/verifier.c check_store_reg() -> is_stack_arg_stx()

Type Parameter Key Value
PARAM_VALUE 0 insn 4096-ptr_max
DATA_SOURCE 0 insn $1