bpf_reg_state 250 drivers/net/ethernet/netronome/nfp/bpf/main.h struct bpf_reg_state reg; bpf_reg_state 305 drivers/net/ethernet/netronome/nfp/bpf/main.h struct bpf_reg_state ptr; bpf_reg_state 326 drivers/net/ethernet/netronome/nfp/bpf/main.h struct bpf_reg_state arg1; bpf_reg_state 50 drivers/net/ethernet/netronome/nfp/bpf/verifier.c const struct bpf_reg_state *reg2) bpf_reg_state 85 drivers/net/ethernet/netronome/nfp/bpf/verifier.c const struct bpf_reg_state *reg1 = cur_regs(env) + BPF_REG_1; bpf_reg_state 86 drivers/net/ethernet/netronome/nfp/bpf/verifier.c const struct bpf_reg_state *reg3 = cur_regs(env) + BPF_REG_3; bpf_reg_state 125 drivers/net/ethernet/netronome/nfp/bpf/verifier.c const struct bpf_reg_state *reg, bpf_reg_state 159 drivers/net/ethernet/netronome/nfp/bpf/verifier.c u32 helper_tgt, const struct bpf_reg_state *reg1) bpf_reg_state 174 drivers/net/ethernet/netronome/nfp/bpf/verifier.c const struct bpf_reg_state *reg1 = cur_regs(env) + BPF_REG_1; bpf_reg_state 175 drivers/net/ethernet/netronome/nfp/bpf/verifier.c const struct bpf_reg_state *reg2 = cur_regs(env) + BPF_REG_2; bpf_reg_state 176 drivers/net/ethernet/netronome/nfp/bpf/verifier.c const struct bpf_reg_state *reg3 = cur_regs(env) + BPF_REG_3; bpf_reg_state 314 drivers/net/ethernet/netronome/nfp/bpf/verifier.c const struct bpf_reg_state *reg0 = cur_regs(env) + BPF_REG_0; bpf_reg_state 345 drivers/net/ethernet/netronome/nfp/bpf/verifier.c const struct bpf_reg_state *reg, bpf_reg_state 418 drivers/net/ethernet/netronome/nfp/bpf/verifier.c const struct bpf_reg_state *reg, bpf_reg_state 454 drivers/net/ethernet/netronome/nfp/bpf/verifier.c const struct bpf_reg_state *reg = cur_regs(env) + reg_no; bpf_reg_state 505 drivers/net/ethernet/netronome/nfp/bpf/verifier.c const struct bpf_reg_state *reg = cur_regs(env) + meta->insn.dst_reg; bpf_reg_state 529 drivers/net/ethernet/netronome/nfp/bpf/verifier.c const struct bpf_reg_state *sreg = cur_regs(env) + meta->insn.src_reg; bpf_reg_state 530 drivers/net/ethernet/netronome/nfp/bpf/verifier.c const struct bpf_reg_state *dreg = cur_regs(env) + meta->insn.dst_reg; bpf_reg_state 554 drivers/net/ethernet/netronome/nfp/bpf/verifier.c const struct bpf_reg_state *sreg = bpf_reg_state 556 drivers/net/ethernet/netronome/nfp/bpf/verifier.c const struct bpf_reg_state *dreg = bpf_reg_state 125 include/linux/bpf_verifier.h struct bpf_reg_state *parent; bpf_reg_state 153 include/linux/bpf_verifier.h struct bpf_reg_state spilled_ptr; bpf_reg_state 172 include/linux/bpf_verifier.h struct bpf_reg_state regs[MAX_BPF_REG]; bpf_reg_state 408 include/linux/bpf_verifier.h static inline struct bpf_reg_state *cur_regs(struct bpf_verifier_env *env) bpf_reg_state 340 kernel/bpf/verifier.c static bool reg_may_point_to_spin_lock(const struct bpf_reg_state *reg) bpf_reg_state 425 kernel/bpf/verifier.c const struct bpf_reg_state *reg) bpf_reg_state 435 kernel/bpf/verifier.c const struct bpf_reg_state *reg; bpf_reg_state 855 kernel/bpf/verifier.c struct bpf_reg_state *reg); bpf_reg_state 860 kernel/bpf/verifier.c static void __mark_reg_known(struct bpf_reg_state *reg, u64 imm) bpf_reg_state 864 kernel/bpf/verifier.c offsetof(struct bpf_reg_state, var_off) - sizeof(reg->type)); bpf_reg_state 875 kernel/bpf/verifier.c static void __mark_reg_known_zero(struct bpf_reg_state *reg) bpf_reg_state 880 kernel/bpf/verifier.c static void __mark_reg_const_zero(struct bpf_reg_state *reg) bpf_reg_state 887 kernel/bpf/verifier.c struct bpf_reg_state *regs, u32 regno) bpf_reg_state 899 kernel/bpf/verifier.c static bool reg_is_pkt_pointer(const struct bpf_reg_state *reg) bpf_reg_state 904 kernel/bpf/verifier.c static bool reg_is_pkt_pointer_any(const struct bpf_reg_state *reg) bpf_reg_state 911 kernel/bpf/verifier.c static bool reg_is_init_pkt_pointer(const struct bpf_reg_state *reg, bpf_reg_state 925 kernel/bpf/verifier.c static void __update_reg_bounds(struct bpf_reg_state *reg) bpf_reg_state 939 kernel/bpf/verifier.c static void __reg_deduce_bounds(struct bpf_reg_state *reg) bpf_reg_state 974 kernel/bpf/verifier.c static void __reg_bound_offset(struct bpf_reg_state *reg) bpf_reg_state 982 kernel/bpf/verifier.c static void __mark_reg_unbounded(struct bpf_reg_state *reg) bpf_reg_state 992 kernel/bpf/verifier.c struct bpf_reg_state *reg) bpf_reg_state 998 kernel/bpf/verifier.c memset(reg, 0, offsetof(struct bpf_reg_state, var_off)); bpf_reg_state 1008 kernel/bpf/verifier.c struct bpf_reg_state *regs, u32 regno) bpf_reg_state 1021 kernel/bpf/verifier.c struct bpf_reg_state *reg) bpf_reg_state 1028 kernel/bpf/verifier.c struct bpf_reg_state *regs, u32 regno) bpf_reg_state 1044 kernel/bpf/verifier.c struct bpf_reg_state *regs = state->regs; bpf_reg_state 1196 kernel/bpf/verifier.c const struct bpf_reg_state *state, bpf_reg_state 1197 kernel/bpf/verifier.c struct bpf_reg_state *parent, u8 flag) bpf_reg_state 1248 kernel/bpf/verifier.c u32 regno, struct bpf_reg_state *reg, enum reg_arg_type t) bpf_reg_state 1346 kernel/bpf/verifier.c struct bpf_reg_state *reg) bpf_reg_state 1364 kernel/bpf/verifier.c struct bpf_reg_state *reg, *regs = state->regs; bpf_reg_state 1634 kernel/bpf/verifier.c struct bpf_reg_state *reg; bpf_reg_state 1667 kernel/bpf/verifier.c struct bpf_reg_state *reg; bpf_reg_state 1859 kernel/bpf/verifier.c static bool register_is_null(struct bpf_reg_state *reg) bpf_reg_state 1864 kernel/bpf/verifier.c static bool register_is_const(struct bpf_reg_state *reg) bpf_reg_state 1870 kernel/bpf/verifier.c const struct bpf_reg_state *reg) bpf_reg_state 1879 kernel/bpf/verifier.c int spi, struct bpf_reg_state *reg) bpf_reg_state 1900 kernel/bpf/verifier.c struct bpf_reg_state *reg = NULL; bpf_reg_state 2028 kernel/bpf/verifier.c struct bpf_reg_state *reg; bpf_reg_state 2123 kernel/bpf/verifier.c const struct bpf_reg_state *reg, bpf_reg_state 2150 kernel/bpf/verifier.c struct bpf_reg_state *regs = cur_regs(env); bpf_reg_state 2173 kernel/bpf/verifier.c struct bpf_reg_state *regs = cur_regs(env); bpf_reg_state 2191 kernel/bpf/verifier.c struct bpf_reg_state *reg = &state->regs[regno]; bpf_reg_state 2300 kernel/bpf/verifier.c struct bpf_reg_state *regs = cur_regs(env); bpf_reg_state 2301 kernel/bpf/verifier.c struct bpf_reg_state *reg = ®s[regno]; bpf_reg_state 2315 kernel/bpf/verifier.c struct bpf_reg_state *regs = cur_regs(env); bpf_reg_state 2316 kernel/bpf/verifier.c struct bpf_reg_state *reg = ®s[regno]; bpf_reg_state 2397 kernel/bpf/verifier.c struct bpf_reg_state *regs = cur_regs(env); bpf_reg_state 2398 kernel/bpf/verifier.c struct bpf_reg_state *reg = ®s[regno]; bpf_reg_state 2438 kernel/bpf/verifier.c static struct bpf_reg_state *reg_state(struct bpf_verifier_env *env, int regno) bpf_reg_state 2450 kernel/bpf/verifier.c const struct bpf_reg_state *reg = reg_state(env, regno); bpf_reg_state 2457 kernel/bpf/verifier.c const struct bpf_reg_state *reg = reg_state(env, regno); bpf_reg_state 2464 kernel/bpf/verifier.c const struct bpf_reg_state *reg = reg_state(env, regno); bpf_reg_state 2471 kernel/bpf/verifier.c const struct bpf_reg_state *reg = reg_state(env, regno); bpf_reg_state 2478 kernel/bpf/verifier.c const struct bpf_reg_state *reg, bpf_reg_state 2513 kernel/bpf/verifier.c const struct bpf_reg_state *reg, bpf_reg_state 2537 kernel/bpf/verifier.c const struct bpf_reg_state *reg, int off, bpf_reg_state 2680 kernel/bpf/verifier.c const struct bpf_reg_state *reg, int regno) bpf_reg_state 2704 kernel/bpf/verifier.c const struct bpf_reg_state *reg, bpf_reg_state 2732 kernel/bpf/verifier.c static void coerce_reg_to_size(struct bpf_reg_state *reg, int size) bpf_reg_state 2762 kernel/bpf/verifier.c struct bpf_reg_state *regs = cur_regs(env); bpf_reg_state 2763 kernel/bpf/verifier.c struct bpf_reg_state *reg = regs + regno; bpf_reg_state 2947 kernel/bpf/verifier.c struct bpf_reg_state *reg = reg_state(env, regno); bpf_reg_state 2976 kernel/bpf/verifier.c struct bpf_reg_state *reg = reg_state(env, regno); bpf_reg_state 3101 kernel/bpf/verifier.c struct bpf_reg_state *regs = cur_regs(env), *reg = ®s[regno]; bpf_reg_state 3143 kernel/bpf/verifier.c struct bpf_reg_state *regs = cur_regs(env), *reg = ®s[regno]; bpf_reg_state 3239 kernel/bpf/verifier.c struct bpf_reg_state *regs = cur_regs(env), *reg = ®s[regno]; bpf_reg_state 3696 kernel/bpf/verifier.c struct bpf_reg_state *regs = state->regs, *reg; bpf_reg_state 3724 kernel/bpf/verifier.c struct bpf_reg_state *regs = state->regs, *reg; bpf_reg_state 3838 kernel/bpf/verifier.c struct bpf_reg_state *r0; bpf_reg_state 3878 kernel/bpf/verifier.c struct bpf_reg_state *regs, int ret_type, bpf_reg_state 3881 kernel/bpf/verifier.c struct bpf_reg_state *ret_reg = ®s[BPF_REG_0]; bpf_reg_state 3882 kernel/bpf/verifier.c struct bpf_reg_state tmp_reg = *ret_reg; bpf_reg_state 3975 kernel/bpf/verifier.c struct bpf_reg_state *regs; bpf_reg_state 4198 kernel/bpf/verifier.c const struct bpf_reg_state *reg, bpf_reg_state 4237 kernel/bpf/verifier.c static int retrieve_ptr_limit(const struct bpf_reg_state *ptr_reg, bpf_reg_state 4304 kernel/bpf/verifier.c const struct bpf_reg_state *ptr_reg, bpf_reg_state 4305 kernel/bpf/verifier.c struct bpf_reg_state *dst_reg, bpf_reg_state 4313 kernel/bpf/verifier.c struct bpf_reg_state tmp; bpf_reg_state 4361 kernel/bpf/verifier.c const struct bpf_reg_state *ptr_reg, bpf_reg_state 4362 kernel/bpf/verifier.c const struct bpf_reg_state *off_reg) bpf_reg_state 4366 kernel/bpf/verifier.c struct bpf_reg_state *regs = state->regs, *dst_reg; bpf_reg_state 4602 kernel/bpf/verifier.c struct bpf_reg_state *dst_reg, bpf_reg_state 4603 kernel/bpf/verifier.c struct bpf_reg_state src_reg) bpf_reg_state 4605 kernel/bpf/verifier.c struct bpf_reg_state *regs = cur_regs(env); bpf_reg_state 4890 kernel/bpf/verifier.c struct bpf_reg_state *regs = state->regs, *dst_reg, *src_reg; bpf_reg_state 4891 kernel/bpf/verifier.c struct bpf_reg_state *ptr_reg = NULL, off_reg = {0}; bpf_reg_state 4963 kernel/bpf/verifier.c struct bpf_reg_state *regs = cur_regs(env); bpf_reg_state 5025 kernel/bpf/verifier.c struct bpf_reg_state *src_reg = regs + insn->src_reg; bpf_reg_state 5026 kernel/bpf/verifier.c struct bpf_reg_state *dst_reg = regs + insn->dst_reg; bpf_reg_state 5123 kernel/bpf/verifier.c struct bpf_reg_state *dst_reg, bpf_reg_state 5126 kernel/bpf/verifier.c struct bpf_reg_state *reg; bpf_reg_state 5145 kernel/bpf/verifier.c struct bpf_reg_state *dst_reg, bpf_reg_state 5226 kernel/bpf/verifier.c static int is_branch_taken(struct bpf_reg_state *reg, u64 val, u8 opcode, bpf_reg_state 5229 kernel/bpf/verifier.c struct bpf_reg_state reg_lo; bpf_reg_state 5353 kernel/bpf/verifier.c static bool cmp_val_with_extended_s64(s64 sval, struct bpf_reg_state *reg) bpf_reg_state 5366 kernel/bpf/verifier.c static void set_upper_bound(struct bpf_reg_state *reg, u64 bound, bool is_jmp32, bpf_reg_state 5398 kernel/bpf/verifier.c static void set_lower_bound(struct bpf_reg_state *reg, u64 bound, bool is_jmp32, bpf_reg_state 5430 kernel/bpf/verifier.c static void reg_set_min_max(struct bpf_reg_state *true_reg, bpf_reg_state 5431 kernel/bpf/verifier.c struct bpf_reg_state *false_reg, u64 val, bpf_reg_state 5452 kernel/bpf/verifier.c struct bpf_reg_state *reg = bpf_reg_state 5538 kernel/bpf/verifier.c static void reg_set_min_max_inv(struct bpf_reg_state *true_reg, bpf_reg_state 5539 kernel/bpf/verifier.c struct bpf_reg_state *false_reg, u64 val, bpf_reg_state 5554 kernel/bpf/verifier.c struct bpf_reg_state *reg = bpf_reg_state 5631 kernel/bpf/verifier.c static void __reg_combine_min_max(struct bpf_reg_state *src_reg, bpf_reg_state 5632 kernel/bpf/verifier.c struct bpf_reg_state *dst_reg) bpf_reg_state 5661 kernel/bpf/verifier.c static void reg_combine_min_max(struct bpf_reg_state *true_src, bpf_reg_state 5662 kernel/bpf/verifier.c struct bpf_reg_state *true_dst, bpf_reg_state 5663 kernel/bpf/verifier.c struct bpf_reg_state *false_src, bpf_reg_state 5664 kernel/bpf/verifier.c struct bpf_reg_state *false_dst, bpf_reg_state 5678 kernel/bpf/verifier.c struct bpf_reg_state *reg, u32 id, bpf_reg_state 5733 kernel/bpf/verifier.c struct bpf_reg_state *reg; bpf_reg_state 5753 kernel/bpf/verifier.c struct bpf_reg_state *regs = state->regs; bpf_reg_state 5770 kernel/bpf/verifier.c struct bpf_reg_state *dst_reg, bpf_reg_state 5771 kernel/bpf/verifier.c struct bpf_reg_state *src_reg, bpf_reg_state 5871 kernel/bpf/verifier.c struct bpf_reg_state *regs = this_branch->frame[this_branch->curframe]->regs; bpf_reg_state 5872 kernel/bpf/verifier.c struct bpf_reg_state *dst_reg, *other_branch_regs, *src_reg = NULL; bpf_reg_state 5955 kernel/bpf/verifier.c struct bpf_reg_state *src_reg = ®s[insn->src_reg]; bpf_reg_state 5956 kernel/bpf/verifier.c struct bpf_reg_state lo_reg0 = *dst_reg; bpf_reg_state 5957 kernel/bpf/verifier.c struct bpf_reg_state lo_reg1 = *src_reg; bpf_reg_state 5958 kernel/bpf/verifier.c struct bpf_reg_state *src_lo, *dst_lo; bpf_reg_state 6025 kernel/bpf/verifier.c struct bpf_reg_state *regs = cur_regs(env); bpf_reg_state 6098 kernel/bpf/verifier.c struct bpf_reg_state *regs = cur_regs(env); bpf_reg_state 6188 kernel/bpf/verifier.c struct bpf_reg_state *reg; bpf_reg_state 6753 kernel/bpf/verifier.c static bool range_within(struct bpf_reg_state *old, bpf_reg_state 6754 kernel/bpf/verifier.c struct bpf_reg_state *cur) bpf_reg_state 6895 kernel/bpf/verifier.c static bool regsafe(struct bpf_reg_state *rold, struct bpf_reg_state *rcur, bpf_reg_state 6904 kernel/bpf/verifier.c equal = memcmp(rold, rcur, offsetof(struct bpf_reg_state, parent)) == 0; bpf_reg_state 6947 kernel/bpf/verifier.c return memcmp(rold, rcur, offsetof(struct bpf_reg_state, id)) == 0 && bpf_reg_state 6960 kernel/bpf/verifier.c if (memcmp(rold, rcur, offsetof(struct bpf_reg_state, id))) bpf_reg_state 7172 kernel/bpf/verifier.c struct bpf_reg_state *reg, bpf_reg_state 7173 kernel/bpf/verifier.c struct bpf_reg_state *parent_reg) bpf_reg_state 7208 kernel/bpf/verifier.c struct bpf_reg_state *state_reg, *parent_reg; bpf_reg_state 7254 kernel/bpf/verifier.c struct bpf_reg_state *state_reg; bpf_reg_state 7301 kernel/bpf/verifier.c offsetof(struct bpf_reg_state, parent))) bpf_reg_state 7553 kernel/bpf/verifier.c struct bpf_reg_state *regs;