Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 at_stack 16,4096-ptr_max
PARAM_VALUE 2 sz 1-2,4,8,4294967274
PARAM_VALUE 3 cnt 1
BUF_SIZE 0 at_stack 640
BUF_SIZE 0 at_stack 640
DATA_SOURCE 0 at_stack $3
DATA_SOURCE 2 sz $4
BIT_INFO 2 sz 0x0,0xf
NOCHECK_CALL
UNITS 2 sz unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 at_stack 16,4096-ptr_max
PARAM_VALUE 1 off 0
PARAM_VALUE 2 sz 1-2,4,8,4294967274
PARAM_VALUE 3 cnt 0
BUF_SIZE 0 at_stack 640
BUF_SIZE 0 at_stack 640
DATA_SOURCE 0 at_stack $3
DATA_SOURCE 2 sz $4
BIT_INFO 2 sz 0x0,0xf
NOCHECK_CALL
UNITS 2 sz unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 at_stack 16,4096-ptr_max
PARAM_VALUE 1 off 0
PARAM_VALUE 2 sz 1-2,4,8,4294967274
PARAM_VALUE 3 cnt 0
BUF_SIZE 0 at_stack 640
BUF_SIZE 0 at_stack 640
DATA_SOURCE 0 at_stack $3
DATA_SOURCE 2 sz $4
BIT_INFO 2 sz 0x0,0xf
NOCHECK_CALL
UNITS 2 sz unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 at_stack 16,4096-ptr_max
PARAM_VALUE 2 sz 1-2,4,8,4294967274
PARAM_VALUE 3 cnt 1-127
BUF_SIZE 0 at_stack 640
BUF_SIZE 0 at_stack 640
DATA_SOURCE 0 at_stack $3
DATA_SOURCE 2 sz $4
BIT_INFO 2 sz 0x0,0xf
NOCHECK_CALL
UNITS 2 sz unit_byte