Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 insn 4096-ptr_max
PARAM_VALUE 0 insn->code 8-255
PARAM_VALUE 1 at_out 3013092497142493184
PARAM_VALUE 3 at_stack_out 16,4096-ptr_max
BUF_SIZE 1 at_out 180
BUF_SIZE 1 at_out 180
BUF_SIZE 3 at_stack_out 640
BUF_SIZE 3 at_stack_out 640
DATA_SOURCE 0 insn $1
DATA_SOURCE 1 at_out $3
DATA_SOURCE 3 at_stack_out $4

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

Type Parameter Key Value
PARAM_VALUE 0 insn 4096-ptr_max
PARAM_VALUE 0 insn->code 8-255
PARAM_VALUE 1 at_out 3013092497142493184
PARAM_VALUE 4 depth 0-127
BUF_SIZE 1 at_out 180
BUF_SIZE 1 at_out 180
CAPPED_DATA 4 depth 1
DATA_SOURCE 0 insn $1
DATA_SOURCE 1 at_out $3