411 static bool reg_may_point_to_spin_lock(const struct bpf_reg_state *reg)  in reg_may_point_to_spin_lock()
548 static struct bpf_func_state *func(struct bpf_verifier_env *env, const struct bpf_reg_state *reg)  in func()
562     const struct bpf_reg_state *reg;  in print_verifier_state()  local
1008 static void verifier2_mark_reg_known(struct bpf_reg_state *reg, u64 imm)  in verifier2_mark_reg_known()
1025 static void verifier_mark_reg_known(struct bpf_reg_state *reg, u64 imm)  in verifier_mark_reg_known()
1032 static void verifier_mark_reg32_known(struct bpf_reg_state *reg, u64 imm)  in verifier_mark_reg32_known()
1044 static void verifier_mark_reg_known_zero(struct bpf_reg_state *reg)  in verifier_mark_reg_known_zero()
1049 static void verifier_mark_reg_const_zero(struct bpf_reg_state *reg)  in verifier_mark_reg_const_zero()
1068 static bool reg_is_pkt_pointer(const struct bpf_reg_state *reg)  in reg_is_pkt_pointer()
1073 static bool reg_is_pkt_pointer_any(const struct bpf_reg_state *reg)  in reg_is_pkt_pointer_any()
1079 static bool reg_is_init_pkt_pointer(const struct bpf_reg_state *reg, enum bpf_reg_type which)  in reg_is_init_pkt_pointer()
1089 static void verifier_mark_reg_unbounded(struct bpf_reg_state *reg)  in verifier_mark_reg_unbounded()
1102 static void verifier_mark_reg64_unbounded(struct bpf_reg_state *reg)  in verifier_mark_reg64_unbounded()
1110 static void verifier_mark_reg32_unbounded(struct bpf_reg_state *reg)  in verifier_mark_reg32_unbounded()
1118 static void verifier_update_reg32_bounds(struct bpf_reg_state *reg)  in verifier_update_reg32_bounds()
1130 static void verifier_update_reg64_bounds(struct bpf_reg_state *reg)  in verifier_update_reg64_bounds()
1140 static void verifier_update_reg_bounds(struct bpf_reg_state *reg)  in verifier_update_reg_bounds()
1147 static void verifier_reg32_deduce_bounds(struct bpf_reg_state *reg)  in verifier_reg32_deduce_bounds()
1177 static void verifier_reg64_deduce_bounds(struct bpf_reg_state *reg)  in verifier_reg64_deduce_bounds()
1207 static void verifier_reg_deduce_bounds(struct bpf_reg_state *reg)  in verifier_reg_deduce_bounds()
1214 static void verifier_reg_bound_offset(struct bpf_reg_state *reg)  in verifier_reg_bound_offset()
1223 static void reg_bounds_sync(struct bpf_reg_state *reg)  in reg_bounds_sync()
1242 static void verifier_reg_assign_32_into_64(struct bpf_reg_state *reg)  in verifier_reg_assign_32_into_64()
1260 static void verifier_reg_combine_32_into_64(struct bpf_reg_state *reg)  in verifier_reg_combine_32_into_64()
1297 static void __reg_combine_64_into_32(struct bpf_reg_state *reg)  in __reg_combine_64_into_32()
1318 static void __mark_reg_unknown(const struct bpf_verifier_env *env, struct bpf_reg_state *reg)  in __mark_reg_unknown()
1345 …atic void verifier_mark_reg_not_init(const struct bpf_verifier_env *env, struct bpf_reg_state *reg)  in verifier_mark_reg_not_init()
1590 …is_reg64(struct bpf_verifier_env *env, struct bpf_insn *insn, u32 regno, struct bpf_reg_state *reg,  in is_reg64()
1698 static void mark_insn_zext(struct bpf_verifier_env *env, struct bpf_reg_state *reg)  in mark_insn_zext()
1716     struct bpf_reg_state *reg, *regs = state->regs;  in check_reg_arg()  local
1999     struct bpf_reg_state *reg;  in mark_all_scalars_precise()  local
2035     struct bpf_reg_state *reg;  in __mark_chain_precision()  local
2240 static bool register_is_null(struct bpf_reg_state *reg)  in register_is_null()
2245 static bool register_is_const(struct bpf_reg_state *reg)  in register_is_const()
2250 static bool __is_scalar_unbounded(struct bpf_reg_state *reg)  in __is_scalar_unbounded()
2257 static bool register_is_bounded(struct bpf_reg_state *reg)  in register_is_bounded()
2262 static bool __is_pointer_value(bool allow_ptr_leaks, const struct bpf_reg_state *reg)  in __is_pointer_value()
2271 static void save_register_state(struct bpf_func_state *state, int spi, struct bpf_reg_state *reg)  in save_register_state()
2293     struct bpf_reg_state *reg = NULL;  in check_stack_write_fixed_off()  local
2564     struct bpf_reg_state *reg;  in check_stack_read_fixed_off()  local
2662     struct bpf_reg_state *reg = reg_state(env, ptr_regno);  in check_stack_read_var_off()  local
2691     struct bpf_reg_state *reg = reg_state(env, ptr_regno);  in check_stack_read()  local
2746     struct bpf_reg_state *reg = reg_state(env, ptr_regno);  in check_stack_write()  local
2784     struct bpf_reg_state *reg;  in __check_mem_access()  local
2815     struct bpf_reg_state *reg = &state->regs[regno];  in check_mem_region_access()  local
2866     struct bpf_reg_state *reg = &state->regs[regno];  in check_map_access()  local
2945     struct bpf_reg_state *reg = &regs[regno];  in check_packet_access()  local
3025     struct bpf_reg_state *reg = &regs[regno];  in check_sock_access()  local
3068     const struct bpf_reg_state *reg = reg_state(env, regno);  in is_ctx_reg()  local
3075     const struct bpf_reg_state *reg = reg_state(env, regno);  in is_sk_reg()  local
3082     const struct bpf_reg_state *reg = reg_state(env, regno);  in is_pkt_reg()  local
3089     const struct bpf_reg_state *reg = reg_state(env, regno);  in is_flow_key_reg()  local
3095 static int check_pkt_ptr_alignment(struct bpf_verifier_env *env, const struct bpf_reg_state *reg, i…  in check_pkt_ptr_alignment()
3128 …atic int check_generic_ptr_alignment(struct bpf_verifier_env *env, const struct bpf_reg_state *reg,  in check_generic_ptr_alignment()
3150 static int check_ptr_alignment(struct bpf_verifier_env *env, const struct bpf_reg_state *reg, int o…  in check_ptr_alignment()
3349 static int __check_ptr_off_reg(struct bpf_verifier_env *env, const struct bpf_reg_state *reg, int r…  in __check_ptr_off_reg()
3373 int check_ptr_off_reg(struct bpf_verifier_env *env, const struct bpf_reg_state *reg, int regno)  in check_ptr_off_reg()
3378 …_buffer_access(struct bpf_verifier_env *env, const char *buf_info, const struct bpf_reg_state *reg,  in __check_buffer_access()
3396 static int check_tp_buffer_access(struct bpf_verifier_env *env, const struct bpf_reg_state *reg, in…  in check_tp_buffer_access()
3413 static int check_buffer_access(struct bpf_verifier_env *env, const struct bpf_reg_state *reg, int r…  in check_buffer_access()
3431 static void zext_32_to_64(struct bpf_reg_state *reg)  in zext_32_to_64()
3440 static void coerce_reg_to_size(struct bpf_reg_state *reg, int size)  in coerce_reg_to_size()
3508     struct bpf_reg_state *reg = regs + regno;  in check_ptr_to_btf_access()  local
3551     struct bpf_reg_state *reg = regs + regno;  in check_ptr_to_map_access()  local
3629     struct bpf_reg_state *reg = regs + regno;  in check_stack_access_within_bounds()  local
3693     struct bpf_reg_state *reg = regs + regno;  in check_mem_access()  local
3951     struct bpf_reg_state *reg = reg_state(env, regno);  in check_stack_range_initialized()  local
4076     struct bpf_reg_state *regs = cur_regs(env), *reg = &regs[regno];  in check_helper_mem_access()  local
4141     struct bpf_reg_state *regs = cur_regs(env), *reg = &regs[regno];  in process_spin_lock()  local
4343     struct bpf_reg_state *regs = cur_regs(env), *reg = &regs[regno];  in check_reg_type()  local
4413     struct bpf_reg_state *regs = cur_regs(env), *reg = &regs[regno];  in check_func_arg()  local
4978     struct bpf_reg_state *regs = state->regs, *reg;  in __clear_all_pkt_pointers()  local
5010     struct bpf_reg_state *regs = state->regs, *reg;  in release_reg_references()  local
5260     struct bpf_reg_state *regs = cur_regs(env), *reg;  in record_func_key()  local
5598 static bool check_reg_sane_offset(struct bpf_verifier_env *env, const struct bpf_reg_state *reg, en…  in check_reg_sane_offset()
5882                                                  const struct bpf_reg_state *reg, int off)  in check_stack_access_for_ptr_arithmetic()
7120     struct bpf_reg_state *reg;  in __find_good_pkt_pointers()  local
7217 static int is_branch32_taken(struct bpf_reg_state *reg, u32 val, u8 opcode)  in is_branch32_taken()
7302 static int is_branch64_taken(struct bpf_reg_state *reg, u64 val, u8 opcode)  in is_branch64_taken()
7393 static int is_branch_taken(struct bpf_reg_state *reg, u64 val, u8 opcode, bool is_jmp32)  in is_branch_taken()
7629 static void mark_ptr_or_null_reg(struct bpf_func_state *state, struct bpf_reg_state *reg, u32 id, b…  in mark_ptr_or_null_reg()
7682     struct bpf_reg_state *reg;  in __mark_ptr_or_null_regs()  local
7798     struct bpf_reg_state *reg;  in find_equal_scalars()  local
8164     struct bpf_reg_state *reg;  in check_return_code()  local
9269 static int propagate_liveness_reg(struct bpf_verifier_env *env, struct bpf_reg_state *reg,  in propagate_liveness_reg()