Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/verifier.c bpf_fetch_kfunc_arg_meta() -> is_kfunc_release()

Type Parameter Key Value
PARAM_VALUE 0 meta 3022389320403468288,4778454182154661888,5112478544311123968,6063676267298779136
DATA_SOURCE 0 meta $3
MEM_ZERO 0 meta

kernel/bpf/verifier.c process_kf_arg_ptr_to_btf_id() -> is_kfunc_release()

Type Parameter Key Value
DATA_SOURCE 0 meta $5

kernel/bpf/verifier.c process_kf_arg_ptr_to_btf_id() -> is_kfunc_release()

Type Parameter Key Value
PARAM_VALUE 0 meta 4096-ptr_max
DATA_SOURCE 0 meta $5