232 static void bpf_map_key_store(struct bpf_insn_aux_data *aux, u64 state)  in bpf_map_key_store()
560 static void print_verifier_state(struct bpf_verifier_env *env, const struct bpf_func_state *state)  in print_verifier_state()
761     struct bpf_func_state *state = cur_func(env);  in acquire_reference_state()  local
777 static int release_reference_state(struct bpf_func_state *state, int ptr_id)  in release_reference_state()
808 static void free_func_state(struct bpf_func_state *state)  in free_func_state()
818 static void clear_jmp_history(struct bpf_verifier_state *state)  in clear_jmp_history()
825 static void free_verifier_state(struct bpf_verifier_state *state, bool free_self)  in free_verifier_state()
1377 static void init_reg_state(struct bpf_verifier_env *env, struct bpf_func_state *state)  in init_reg_state()
1396 static void init_func_state(struct bpf_verifier_env *env, struct bpf_func_state *state, int callsit…  in init_func_state()
1537 static int mark_reg_read(struct bpf_verifier_env *env, const struct bpf_reg_state *state, struct bp…  in mark_reg_read()
1714     struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_reg_arg()  local
2271 static void save_register_state(struct bpf_func_state *state, int spi, struct bpf_reg_state *reg)  in save_register_state()
2288 …                    struct bpf_func_state *state, int off, int size, int value_regno, int insn_idx)  in check_stack_write_fixed_off()
2415 …                   struct bpf_func_state *state, int ptr_regno, int off, int size, int value_regno,  in check_stack_write_var_off()
2511     struct bpf_func_state *state = vstate->frame[vstate->curframe];  in mark_reg_stack_read()  local
2562     struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_stack_read_fixed_off()  local
2692     struct bpf_func_state *state = func(env, reg);  in check_stack_read()  local
2747     struct bpf_func_state *state = func(env, reg);  in check_stack_write()  local
2814     struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_mem_region_access()  local
2865     struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_map_access()  local
3604 static int check_stack_slot_within_bounds(int off, struct bpf_func_state *state, enum bpf_access_ty…  in check_stack_slot_within_bounds()
3630     struct bpf_func_state *state = func(env, reg);  in check_stack_access_within_bounds()  local
3694     struct bpf_func_state *state;  in check_mem_access()  local
3952     struct bpf_func_state *state = func(env, reg);  in check_stack_range_initialized()  local
4976 static void __clear_all_pkt_pointers(struct bpf_verifier_env *env, struct bpf_func_state *state)  in __clear_all_pkt_pointers()
5008 static void release_reg_references(struct bpf_verifier_env *env, struct bpf_func_state *state, int …  in release_reg_references()
5064     struct bpf_verifier_state *state = env->cur_state;  in check_func_call()  local
5162     struct bpf_verifier_state *state = env->cur_state;  in prepare_func_exit()  local
5297     struct bpf_func_state *state = cur_func(env);  in check_reference_leak()  local
5946     struct bpf_func_state *state = vstate->frame[vstate->curframe];  in adjust_ptr_min_max_vals()  local
6877     struct bpf_func_state *state = vstate->frame[vstate->curframe];  in adjust_reg_min_max_vals()  local
7117 static void __find_good_pkt_pointers(struct bpf_func_state *state, struct bpf_reg_state *dst_reg,  in __find_good_pkt_pointers()
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()
7680 static void __mark_ptr_or_null_regs(struct bpf_func_state *state, u32 id, bool is_null)  in __mark_ptr_or_null_regs()
7703     struct bpf_func_state *state = vstate->frame[vstate->curframe];  in mark_ptr_or_null_regs()  local
7797     struct bpf_func_state *state;  in find_equal_scalars()  local
8331     struct bpf_func_state *state = cur->frame[cur->curframe];  in explored_state()  local
9307     struct bpf_func_state *state, *parent;  in propagate_liveness()  local
9351     struct bpf_func_state *state;  in propagate_precision()  local
9655     struct bpf_verifier_state *state = env->cur_state;  in do_check()  local
11589     struct bpf_verifier_state *state;  in do_check_common()  local