Function report

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

Name:pop_stack

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

Type:int

Parameter:

TypeParameterName
struct bpf_verifier_env *env
int *prev_insn_idx
int *insn_idx
834  cur = current verifier state
835  head = stack of verifier states to be processed
838  If (stack of verifier states to be processed == NULL) Then Return -ENOENT
841  If cur Then
842  err = copy_verifier_state(cur, & verifer state is 'st'* before processing instruction 'insn_idx'* and after processing instruction 'prev_insn_idx')
843  If err Then Return err
846  If insn_idx Then insn_idx = insn_idx
848  If prev_insn_idx Then prev_insn_idx = prev_insn_idx
850  elem = next
851  free_verifier_state( & verifer state is 'st'* before processing instruction 'insn_idx'* and after processing instruction 'prev_insn_idx', false)
852  kfree(head)
853  stack of verifier states to be processed = elem
854  umber of states to be processed --
855  Return 0
Caller
NameDescribe
push_stack
do_check
bpf_check