Function report

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

Name:clean_func_state

Proto:static void clean_func_state(struct bpf_verifier_env *env, struct bpf_func_state *st)

Type:void

Parameter:

TypeParameterName
struct bpf_verifier_env *env
struct bpf_func_state *st
6990  When i < BPF_REG_FP cycle
6991  live = live
6993  live |= liveness won't be updating this register anymore
6994  If Not (live & REG_LIVE_READ) Then __mark_reg_not_init(env, & regs[i])
7001  When i < allocated_stack / size of eBPF register in bytes cycle
7002  live = live
7004  live |= liveness won't be updating this register anymore
7005  If Not (live & REG_LIVE_READ) Then
7006  __mark_reg_not_init(env, & spilled_ptr)
7007  When j < size of eBPF register in bytes cycle slot_type[j] = nothing was stored in this stack slot
Caller
NameDescribe
clean_verifier_state