Function report

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:kernel\bpf\verifier.c Create Date:2022-07-28 12:59:47
Last Modify:2022-05-19 20:02:10 Copyright©Brick
home page Tree
Annotation kernel can get tool activityDownload SCCTChinese

Name:record_func_key

Proto:static int record_func_key(struct bpf_verifier_env *env, struct bpf_call_arg_meta *meta, int func_id, int insn_idx)

Type:int

Parameter:

TypeParameterName
struct bpf_verifier_env *env
struct bpf_call_arg_meta *meta
intfunc_id
intinsn_idx
4133  aux = array of per-insn state [insn_idx]
4134  regs = cur_regs(env)
4135  map = map_ptr
4140  If func_id != BPF_FUNC_tail_call Then Return 0
4142  If Not map || map_type != BPF_MAP_TYPE_PROG_ARRAY Then
4143  verbose(env, "kernel subsystem misconfigured verifier\n")
4144  Return -EINVAL
4147  range = A value that's unknown except that @min <= value <= @max
4148  reg = regs[BPF_REG_3]
4150  If Not register_is_const(reg) || Not Returns true if @b represents a subset of @a. Then
4151  bpf_map_key_store(aux, BPF_MAP_KEY_POISON)
4152  Return 0
4155  err = mark_chain_precision(env, BPF_REG_3)
4156  If err Then Return err
4159  val = value
4160  If bpf_map_key_unseen(aux) Then bpf_map_key_store(aux, val)
4162  Else if Not bpf_map_key_poisoned(aux) && bpf_map_key_immediate(aux) != val Then bpf_map_key_store(aux, BPF_MAP_KEY_POISON)
4165  Return 0
Caller
NameDescribe
check_helper_call