Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/bpf/cfg.c visit_insn() -> bpf_helper_call()

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

kernel/bpf/liveness.c find_callback_subprog() -> bpf_helper_call()

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

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

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

kernel/bpf/verifier.c bpf_get_call_summary() -> bpf_helper_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_helper_call()

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

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

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

kernel/bpf/verifier.c is_async_cb_sleepable() -> bpf_helper_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