242 static void print_verifier_state(struct verifier_env *env)  in print_verifier_state()
413 static int pop_stack(struct verifier_env *env, int *prev_insn_idx)  in pop_stack()
432 static struct verifier_state *push_stack(struct verifier_env *env, int insn_idx,  in push_stack()
627 static int check_map_access(struct verifier_env *env, u32 regno, int off,  in check_map_access()
641 static int check_ctx_access(struct verifier_env *env, int off, int size,  in check_ctx_access()
652 static bool is_pointer_value(struct verifier_env *env, int regno)  in is_pointer_value()
672 static int check_mem_access(struct verifier_env *env, u32 regno, int off,  in check_mem_access()
736 static int check_xadd(struct verifier_env *env, struct bpf_insn *insn)  in check_xadd()
772 static int check_stack_boundary(struct verifier_env *env,  in check_stack_boundary()
800 static int check_func_arg(struct verifier_env *env, u32 regno,  in check_func_arg()
932 static int check_call(struct verifier_env *env, int func_id)  in check_call()
1015 static int check_alu_op(struct verifier_env *env, struct bpf_insn *insn)  in check_alu_op()
1175 static int check_cond_jmp_op(struct verifier_env *env,  in check_cond_jmp_op()
1292 static int check_ld_imm(struct verifier_env *env, struct bpf_insn *insn)  in check_ld_imm()
1349 static int check_ld_abs(struct verifier_env *env, struct bpf_insn *insn)  in check_ld_abs()
1450 static int push_insn(int t, int w, int e, struct verifier_env *env)  in push_insn()
1491 static int check_cfg(struct verifier_env *env)  in check_cfg()
1668 static int is_state_visited(struct verifier_env *env, int insn_idx)  in is_state_visited()
1706 static int do_check(struct verifier_env *env)  in do_check()
1973 static int replace_map_fd_with_map_ptr(struct verifier_env *env)  in replace_map_fd_with_map_ptr()
2064 static void release_maps(struct verifier_env *env)  in release_maps()
2073 static void convert_pseudo_ld_imm64(struct verifier_env *env)  in convert_pseudo_ld_imm64()
2107 static int convert_ctx_accesses(struct verifier_env *env)  in convert_ctx_accesses()
2175 static void free_states(struct verifier_env *env)  in free_states()
2200 	struct verifier_env *env;  in bpf_check()  local