241 static void print_verifier_state(struct verifier_env *env)  in print_verifier_state()
412 static int pop_stack(struct verifier_env *env, int *prev_insn_idx)  in pop_stack()
431 static struct verifier_state *push_stack(struct verifier_env *env, int insn_idx,  in push_stack()
613 static int check_map_access(struct verifier_env *env, u32 regno, int off,  in check_map_access()
627 static int check_ctx_access(struct verifier_env *env, int off, int size,  in check_ctx_access()
644 static int check_mem_access(struct verifier_env *env, u32 regno, int off,  in check_mem_access()
687 static int check_xadd(struct verifier_env *env, struct bpf_insn *insn)  in check_xadd()
723 static int check_stack_boundary(struct verifier_env *env,  in check_stack_boundary()
751 static int check_func_arg(struct verifier_env *env, u32 regno,  in check_func_arg()
836 static int check_call(struct verifier_env *env, int func_id)  in check_call()
1052 static int check_cond_jmp_op(struct verifier_env *env,  in check_cond_jmp_op()
1160 static int check_ld_imm(struct verifier_env *env, struct bpf_insn *insn)  in check_ld_imm()
1217 static int check_ld_abs(struct verifier_env *env, struct bpf_insn *insn)  in check_ld_abs()
1317 static int push_insn(int t, int w, int e, struct verifier_env *env)  in push_insn()
1358 static int check_cfg(struct verifier_env *env)  in check_cfg()
1535 static int is_state_visited(struct verifier_env *env, int insn_idx)  in is_state_visited()
1573 static int do_check(struct verifier_env *env)  in do_check()
1827 static int replace_map_fd_with_map_ptr(struct verifier_env *env)  in replace_map_fd_with_map_ptr()
1912 static void release_maps(struct verifier_env *env)  in release_maps()
1921 static void convert_pseudo_ld_imm64(struct verifier_env *env)  in convert_pseudo_ld_imm64()
1955 static int convert_ctx_accesses(struct verifier_env *env)  in convert_ctx_accesses()
2018 static void free_states(struct verifier_env *env)  in free_states()
2043 	struct verifier_env *env;  in bpf_check()  local