Function report

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

Name:prepare_func_exit

Proto:static int prepare_func_exit(struct bpf_verifier_env *env, int *insn_idx)

Type:int

Parameter:

TypeParameterName
struct bpf_verifier_env *env
int *insn_idx
4028  state = current verifier state
4033  callee = call stack tracking [curframe]
4034  r0 = regs[BPF_REG_0]
4035  If Ordering of fields matters. See states_equal() == g == frame_pointer + offset Then
4042  verbose(env, "cannot return stack pointer to the caller\n")
4043  Return -EINVAL
4046  curframe--
4047  caller = call stack tracking [curframe]
4049  regs[BPF_REG_0] = r0
4052  err = transfer_reference_state(caller, callee)
4053  If err Then Return err
4056  insn_idx = dex of call instruction that called into this func + 1
4057  If level & BPF_LOG_LEVEL Then
4058  verbose(env, "returning from callee:\n")
4059  print_verifier_state(env, callee)
4060  verbose(env, "to caller at %d:\n", * insn_idx)
4061  print_verifier_state(env, caller)
4064  free_func_state(callee)
4065  call stack tracking [curframe + 1] = NULL
4066  Return 0
Caller
NameDescribe
do_check