Searched refs:other_branch (Results 1 – 1 of 1) sorted by relevance
| /Linux-v4.19/kernel/bpf/ |
| D | verifier.c | 3727 struct bpf_verifier_state *other_branch) in try_match_pkt_pointers() argument
3746 find_good_pkt_pointers(other_branch, src_reg, in try_match_pkt_pointers()
3758 find_good_pkt_pointers(other_branch, dst_reg, in try_match_pkt_pointers()
3784 find_good_pkt_pointers(other_branch, src_reg, in try_match_pkt_pointers()
3796 find_good_pkt_pointers(other_branch, dst_reg, in try_match_pkt_pointers()
3820 struct bpf_verifier_state *other_branch; in check_cond_jmp_op() local
3882 other_branch = push_stack(env, *insn_idx + insn->off + 1, *insn_idx); in check_cond_jmp_op()
3883 if (!other_branch) in check_cond_jmp_op()
3885 other_branch_regs = other_branch->frame[other_branch->curframe]->regs; in check_cond_jmp_op()
3925 mark_map_regs(other_branch, insn->dst_reg, opcode == BPF_JEQ); in check_cond_jmp_op()
[all …]
|
