Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/bpf/fixups.c add_kfunc_in_insns() -> bpf_pseudo_kfunc_call()

Type Parameter Key Value
BUF_SIZE 0 insn (-1),256
BUF_SIZE 0 insn (-1),256
DATA_SOURCE 0 insn $1 [m]

kernel/bpf/fixups.c bpf_opt_subreg_zext_lo32_rnd_hi32() -> bpf_pseudo_kfunc_call()

Type Parameter Key Value
PARAM_VALUE 0 insn 47621976034381824

kernel/bpf/liveness.c record_arg_access() -> bpf_pseudo_kfunc_call()

Type Parameter Key Value
PARAM_VALUE 0 insn 4096-ptr_max
DATA_SOURCE 0 insn $2

kernel/bpf/verifier.c add_kfuncs() -> bpf_pseudo_kfunc_call()

Type Parameter Key Value

kernel/bpf/verifier.c bpf_get_call_summary() -> bpf_pseudo_kfunc_call()

Type Parameter Key Value
PARAM_VALUE 0 insn 4096-ptr_max
DATA_SOURCE 0 insn $1

kernel/bpf/verifier.c bpf_is_async_callback_calling_insn() -> bpf_pseudo_kfunc_call()

Type Parameter Key Value
PARAM_VALUE 0 insn 4096-ptr_max
PARAM_VALUE 0 insn->src_reg 0
DATA_SOURCE 0 insn $0

kernel/bpf/verifier.c bpf_is_sync_callback_calling_insn() -> bpf_pseudo_kfunc_call()

Type Parameter Key Value
PARAM_VALUE 0 insn 4096-ptr_max
PARAM_VALUE 0 insn->src_reg 0
DATA_SOURCE 0 insn $0

kernel/bpf/verifier.c bpf_is_throw_kfunc() -> bpf_pseudo_kfunc_call()

Type Parameter Key Value
DATA_SOURCE 0 insn $0

kernel/bpf/verifier.c check_max_stack_depth_subprog() -> bpf_pseudo_kfunc_call()

Type Parameter Key Value
PARAM_VALUE 0 insn 4096-ptr_max

kernel/bpf/verifier.c is_async_cb_sleepable() -> bpf_pseudo_kfunc_call()

Type Parameter Key Value
PARAM_VALUE 0 insn 4096-ptr_max
PARAM_VALUE 0 insn->code 133
PARAM_VALUE 0 insn->src_reg 0
CAPPED_DATA 0 insn->imm 1
DATA_SOURCE 0 insn $1

kernel/bpf/verifier.c push_callback_call() -> bpf_pseudo_kfunc_call()

Type Parameter Key Value
PARAM_VALUE 0 insn 4096-ptr_max
CAPPED_DATA 0 insn->imm 1
DATA_SOURCE 0 insn $1

kernel/bpf/verifier.c push_callback_call() -> bpf_pseudo_kfunc_call()

Type Parameter Key Value
PARAM_VALUE 0 insn 4096-ptr_max
PARAM_VALUE 0 insn->code 133
PARAM_VALUE 0 insn->src_reg 2
CAPPED_DATA 0 insn->imm 1
DATA_SOURCE 0 insn $1