Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/bpf/log.c print_insn_state() -> bpf_vlog_reset()

Type Parameter Key Value
PARAM_VALUE 0 log 4096-ptr_max
PARAM_VALUE 0 log->end_pos 1-u64max
CAPPED_DATA 1 new_pos 1
NOCHECK_CALL

kernel/bpf/liveness.c print_instance() -> bpf_vlog_reset()

Type Parameter Key Value
PARAM_VALUE 0 log 4096-ptr_max
PARAM_VALUE 0 log->level 2-u32max
NOCHECK_CALL

kernel/bpf/liveness.c print_instance() -> bpf_vlog_reset()

Type Parameter Key Value
PARAM_VALUE 0 log 4096-ptr_max
PARAM_VALUE 0 log->level 2-u32max
NOCHECK_CALL

kernel/bpf/liveness.c print_subprog_arg_access() -> bpf_vlog_reset()

Type Parameter Key Value
PARAM_VALUE 0 log 4096-ptr_max
PARAM_VALUE 0 log->level 2-u32max
NOCHECK_CALL

kernel/bpf/verifier.c pop_stack() -> bpf_vlog_reset()

Type Parameter Key Value
PARAM_VALUE 0 log 4096-ptr_max
NOCHECK_CALL