Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 insn 4096-ptr_max
PARAM_VALUE 0 insn->imm s32min-255,257-s32max
PARAM_VALUE 1 at_out 3013092497142493184
PARAM_VALUE 3 at_stack_out 16,4096-ptr_max
PARAM_VALUE 4 sz 1-2,4,8,4294967274
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
BIT_INFO 4 sz 0x0,0xf
NOCHECK_CALL
UNITS 4 sz unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 insn 4096-ptr_max
PARAM_VALUE 1 at_out 3013092497142493184
PARAM_VALUE 3 at_stack_out 16,4096-ptr_max
PARAM_VALUE 4 sz 1-2,4,8,4294967274
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
BIT_INFO 4 sz 0x0,0xf
NOCHECK_CALL
UNITS 4 sz unit_byte