H A D | verifier.c | 1467 if (insn[i].src_reg != BPF_PSEUDO_CALL) {
in check_subprogs() 1497 if (code == (BPF_JMP | BPF_CALL) && insn[i].imm == BPF_FUNC_tail_call && insn[i].src_reg != BPF_PSEUDO_CALL) {
in check_subprogs() 1611 if (insn->src_reg == BPF_PSEUDO_CALL) {
in is_reg64() 1806 u32 sreg = 1u << insn->src_reg;
in backtrack_insn() 1863 if (insn->src_reg != BPF_REG_FP) {
in backtrack_insn() 1911 if (insn->src_reg == BPF_PSEUDO_CALL) {
in backtrack_insn() 3271 if (insn[i].src_reg != BPF_PSEUDO_CALL) {
in check_max_stack_depth() 3905 err = check_reg_arg(env, insn->src_reg, SRC_OP);
in check_xadd() 3916 if (is_pointer_value(env, insn->src_reg)) {
in check_xadd() 3917 verbose(env, "R%d leaks addr into mem\n", insn->src_reg);
in check_xadd() 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 6534 scalar32_min_max_lsh(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar32_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 7016 struct bpf_reg_state *src_reg = regs + insn->src_reg; check_alu_op() local 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 [all...] |