Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/btf.c bpf_core_add_cands() -> bpf_free_cands()

Type Parameter Key Value
PARAM_VALUE 0 cands 4096-ptr_max
PARAM_VALUE 0 cands->kind 0-127
PARAM_VALUE 0 cands->name_len 0-1010101
BUF_SIZE 0 cands 0-u64max
CAPPED_DATA 0 cands->kind 1
CAPPED_DATA 0 cands->name_len 1
DATA_SOURCE 0 cands $0 [m]
NOCHECK_CALL
LOCK2 global &cand_cache_mutex

kernel/bpf/btf.c bpf_core_add_cands() -> bpf_free_cands()

Type Parameter Key Value
PARAM_VALUE 0 cands 4096-ptr_max
PARAM_VALUE 0 cands->kind 0-127
PARAM_VALUE 0 cands->name_len 0-1010101
BUF_SIZE 0 cands 0-u64max
CAPPED_DATA 0 cands->kind 1
CAPPED_DATA 0 cands->name_len 1
DATA_SOURCE 0 cands $0 [m]
NOCHECK_CALL
LOCK2 global &cand_cache_mutex

kernel/bpf/btf.c populate_cand_cache() -> bpf_free_cands()

Type Parameter Key Value
PARAM_VALUE 0 cands 4096-ptr_max
DATA_SOURCE 0 cands $0
NOCHECK_CALL
LOCK2 global &cand_cache_mutex

kernel/bpf/btf.c populate_cand_cache() -> bpf_free_cands()

Type Parameter Key Value
PARAM_VALUE 0 cands 4096-ptr_max
DATA_SOURCE 0 cands $0
NOCHECK_CALL
LOCK2 global &cand_cache_mutex