329 static void print_bpf_insn(const struct bpf_verifier_env *env,  in print_bpf_insn()
517 static int pop_stack(struct bpf_verifier_env *env, int *prev_insn_idx,  in pop_stack()
544 static struct bpf_verifier_state *push_stack(struct bpf_verifier_env *env,  in push_stack()
765 static int check_reg_arg(struct bpf_verifier_env *env, u32 regno,  in check_reg_arg()
814 static int check_stack_write(struct bpf_verifier_env *env,  in check_stack_write()
945 static int check_stack_access(struct bpf_verifier_env *env,  in check_stack_access()
971 static int __check_map_access(struct bpf_verifier_env *env, u32 regno, int off,  in __check_map_access()
986 static int check_map_access(struct bpf_verifier_env *env, u32 regno,  in check_map_access()
1037 static bool may_access_direct_pkt_data(struct bpf_verifier_env *env,  in may_access_direct_pkt_data()
1063 static int __check_packet_access(struct bpf_verifier_env *env, u32 regno,  in __check_packet_access()
1077 static int check_packet_access(struct bpf_verifier_env *env, u32 regno, int off,  in check_packet_access()
1106 static int check_ctx_access(struct bpf_verifier_env *env, int insn_idx, int off, int size,  in check_ctx_access()
1148 static bool is_pointer_value(struct bpf_verifier_env *env, int regno)  in is_pointer_value()
1153 static bool is_ctx_reg(struct bpf_verifier_env *env, int regno)  in is_ctx_reg()
1160 static bool is_pkt_reg(struct bpf_verifier_env *env, int regno)  in is_pkt_reg()
1223 static int check_ptr_alignment(struct bpf_verifier_env *env,  in check_ptr_alignment()
1254 static int check_ctx_reg(struct bpf_verifier_env *env,  in check_ctx_reg()
1307 static int check_mem_access(struct bpf_verifier_env *env, int insn_idx, u32 regno,  in check_mem_access()
1408 static int check_xadd(struct bpf_verifier_env *env, int insn_idx, struct bpf_insn *insn)  in check_xadd()
1464 static int check_stack_boundary(struct bpf_verifier_env *env, int regno,  in check_stack_boundary()
1524 static int check_helper_mem_access(struct bpf_verifier_env *env, int regno,  in check_helper_mem_access()
1541 static int check_func_arg(struct bpf_verifier_env *env, u32 regno,  in check_func_arg()
1818 static void clear_all_pkt_pointers(struct bpf_verifier_env *env)  in clear_all_pkt_pointers()
1840 static int check_call(struct bpf_verifier_env *env, int func_id, int insn_idx)  in check_call()
1987 static bool check_reg_sane_offset(struct bpf_verifier_env *env,  in check_reg_sane_offset()
2022 static struct bpf_insn_aux_data *cur_aux(struct bpf_verifier_env *env)  in cur_aux()
2055 static bool can_skip_alu_sanitation(const struct bpf_verifier_env *env,  in can_skip_alu_sanitation()
2078 static int sanitize_val_alu(struct bpf_verifier_env *env,  in sanitize_val_alu()
2089 static int sanitize_ptr_alu(struct bpf_verifier_env *env,  in sanitize_ptr_alu()
2146 static int adjust_ptr_min_max_vals(struct bpf_verifier_env *env,  in adjust_ptr_min_max_vals()
2390 static int adjust_scalar_min_max_vals(struct bpf_verifier_env *env,  in adjust_scalar_min_max_vals()
2652 static int adjust_reg_min_max_vals(struct bpf_verifier_env *env,  in adjust_reg_min_max_vals()
2742 static int check_alu_op(struct bpf_verifier_env *env, struct bpf_insn *insn)  in check_alu_op()
3231 static int check_cond_jmp_op(struct bpf_verifier_env *env,  in check_cond_jmp_op()
3396 static int check_ld_imm(struct bpf_verifier_env *env, struct bpf_insn *insn)  in check_ld_imm()
3457 static int check_ld_abs(struct bpf_verifier_env *env, struct bpf_insn *insn)  in check_ld_abs()
3562 static int push_insn(int t, int w, int e, struct bpf_verifier_env *env)  in push_insn()
3603 static int check_cfg(struct bpf_verifier_env *env)  in check_cfg()
3927 static bool states_equal(struct bpf_verifier_env *env,  in states_equal()
4026 static int is_state_visited(struct bpf_verifier_env *env, int insn_idx)  in is_state_visited()
4093 static int ext_analyzer_insn_hook(struct bpf_verifier_env *env,  in ext_analyzer_insn_hook()
4102 static int do_check(struct bpf_verifier_env *env)  in do_check()
4430 static int replace_map_fd_with_map_ptr(struct bpf_verifier_env *env)  in replace_map_fd_with_map_ptr()
4531 static void release_maps(struct bpf_verifier_env *env)  in release_maps()
4540 static void convert_pseudo_ld_imm64(struct bpf_verifier_env *env)  in convert_pseudo_ld_imm64()
4555 static int adjust_insn_aux_data(struct bpf_verifier_env *env, u32 prog_len,  in adjust_insn_aux_data()
4576 static struct bpf_prog *bpf_patch_insn_data(struct bpf_verifier_env *env, u32 off,  in bpf_patch_insn_data()
4593 static void sanitize_dead_code(struct bpf_verifier_env *env)  in sanitize_dead_code()
4611 static int convert_ctx_accesses(struct bpf_verifier_env *env)  in convert_ctx_accesses()
4753 static int fixup_bpf_calls(struct bpf_verifier_env *env)  in fixup_bpf_calls()
4957 static void free_states(struct bpf_verifier_env *env)  in free_states()
4983 	struct bpf_verifier_env *env;  in bpf_check()  local
5121 	struct bpf_verifier_env *env;  in bpf_analyzer()  local