| H A D | verifier.c | 2292 u32 dst_reg = env->prog->insnsi[insn_idx].dst_reg;
in check_stack_write_fixed_off() local
5730 sanitize_ptr_alu(struct bpf_verifier_env *env, struct bpf_insn *insn, const struct bpf_reg_state *ptr_reg, const struct bpf_reg_state *off_reg, struct bpf_reg_state *dst_reg, struct bpf_sanitize_info *info, const bool commit_window) sanitize_ptr_alu() argument
5840 sanitize_err(struct bpf_verifier_env *env, const struct bpf_insn *insn, int reason, const struct bpf_reg_state *off_reg, const struct bpf_reg_state *dst_reg) sanitize_err() argument
5903 sanitize_check_bounds(struct bpf_verifier_env *env, const struct bpf_insn *insn, const struct bpf_reg_state *dst_reg) sanitize_check_bounds() argument
5947 struct bpf_reg_state *regs = state->regs, *dst_reg; adjust_ptr_min_max_vals() local
6163 scalar32_min_max_add(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar32_min_max_add() argument
6187 scalar_min_max_add(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar_min_max_add() argument
6210 scalar32_min_max_sub(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar32_min_max_sub() argument
6237 scalar_min_max_sub(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar_min_max_sub() argument
6263 scalar32_min_max_mul(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar32_min_max_mul() argument
6294 scalar_min_max_mul(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar_min_max_mul() argument
6325 scalar32_min_max_and(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar32_min_max_and() argument
6358 scalar_min_max_and(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar_min_max_and() argument
6392 scalar32_min_max_or(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar32_min_max_or() argument
6425 scalar_min_max_or(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar_min_max_or() argument
6459 scalar32_min_max_xor(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar32_min_max_xor() argument
6487 scalar_min_max_xor(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar_min_max_xor() argument
6517 __scalar32_min_max_lsh(struct bpf_reg_state *dst_reg, u64 umin_val, u64 umax_val) __scalar32_min_max_lsh() argument
6534 scalar32_min_max_lsh(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar32_min_max_lsh() argument
6551 __scalar64_min_max_lsh(struct bpf_reg_state *dst_reg, u64 umin_val, u64 umax_val) __scalar64_min_max_lsh() argument
6582 scalar_min_max_lsh(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar_min_max_lsh() argument
6596 scalar32_min_max_rsh(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar32_min_max_rsh() argument
6627 scalar_min_max_rsh(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar_min_max_rsh() argument
6660 scalar32_min_max_arsh(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar32_min_max_arsh() argument
6682 scalar_min_max_arsh(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar_min_max_arsh() argument
6712 adjust_scalar_min_max_vals(struct bpf_verifier_env *env, struct bpf_insn *insn, struct bpf_reg_state *dst_reg, struct bpf_reg_state src_reg) adjust_scalar_min_max_vals() argument
6878 struct bpf_reg_state *regs = state->regs, *dst_reg, *src_reg; adjust_reg_min_max_vals() local
7017 struct bpf_reg_state *dst_reg = regs + insn->dst_reg; check_alu_op() local
7117 __find_good_pkt_pointers(struct bpf_func_state *state, struct bpf_reg_state *dst_reg, enum bpf_reg_type type, u16 new_range) __find_good_pkt_pointers() argument
7142 find_good_pkt_pointers(struct bpf_verifier_state *vstate, struct bpf_reg_state *dst_reg, enum bpf_reg_type type, bool range_right_open) find_good_pkt_pointers() argument
7604 __reg_combine_min_max(struct bpf_reg_state *src_reg, struct bpf_reg_state *dst_reg) __reg_combine_min_max() argument
7722 try_match_pkt_pointers(const struct bpf_insn *insn, struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg, struct bpf_verifier_state *this_branch, struct bpf_verifier_state *other_branch) try_match_pkt_pointers() argument
7827 struct bpf_reg_state *dst_reg, *other_branch_regs, *src_reg = NULL; check_cond_jmp_op() local
7986 struct bpf_reg_state *dst_reg; check_ld_imm() local
[all...] |