Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/verifier.c copy_func_state() -> copy_stack_state()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 0 dst->insns_subtotal 0
BUF_SIZE 0 dst (-1),944
BUF_SIZE 0 dst (-1),944
DATA_SOURCE 0 dst $0
DATA_SOURCE 1 src $1