278 				   const struct bpf_reg_state *reg)  in func()
288 	const struct bpf_reg_state *reg;  in print_verifier_state()
549 static void __mark_reg_not_init(struct bpf_reg_state *reg);
554 static void __mark_reg_known(struct bpf_reg_state *reg, u64 imm)  in __mark_reg_known()
567 static void __mark_reg_known_zero(struct bpf_reg_state *reg)  in __mark_reg_known_zero()
572 static void __mark_reg_const_zero(struct bpf_reg_state *reg)  in __mark_reg_const_zero()
580 				struct bpf_reg_state *regs, u32 regno)  in mark_reg_known_zero()
592 static bool reg_is_pkt_pointer(const struct bpf_reg_state *reg)  in reg_is_pkt_pointer()
597 static bool reg_is_pkt_pointer_any(const struct bpf_reg_state *reg)  in reg_is_pkt_pointer_any()
604 static bool reg_is_init_pkt_pointer(const struct bpf_reg_state *reg,  in reg_is_init_pkt_pointer()
618 static void __update_reg_bounds(struct bpf_reg_state *reg)  in __update_reg_bounds()
632 static void __reg_deduce_bounds(struct bpf_reg_state *reg)  in __reg_deduce_bounds()
667 static void __reg_bound_offset(struct bpf_reg_state *reg)  in __reg_bound_offset()
675 static void __mark_reg_unbounded(struct bpf_reg_state *reg)  in __mark_reg_unbounded()
684 static void __mark_reg_unknown(struct bpf_reg_state *reg)  in __mark_reg_unknown()
695 			     struct bpf_reg_state *regs, u32 regno)  in mark_reg_unknown()
707 static void __mark_reg_not_init(struct bpf_reg_state *reg)  in __mark_reg_not_init()
714 			      struct bpf_reg_state *regs, u32 regno)  in mark_reg_not_init()
729 	struct bpf_reg_state *regs = state->regs;  in init_reg_state()
959 	struct bpf_reg_state *regs = state->regs;  in check_reg_arg()
1004 static bool register_is_null(struct bpf_reg_state *reg)  in register_is_null()
1084 		state->stack[spi].spilled_ptr = (struct bpf_reg_state) {};  in check_stack_write()
1240 	struct bpf_reg_state *regs = cur_regs(env);  in __check_map_access()
1258 	struct bpf_reg_state *reg = &state->regs[regno];  in check_map_access()
1337 	struct bpf_reg_state *regs = cur_regs(env);  in __check_packet_access()
1338 	struct bpf_reg_state *reg = &regs[regno];  in __check_packet_access()
1352 	struct bpf_reg_state *regs = cur_regs(env);  in check_packet_access()
1353 	struct bpf_reg_state *reg = &regs[regno];  in check_packet_access()
1408 			       const struct bpf_reg_state *reg)  in __is_pointer_value()
1423 	const struct bpf_reg_state *reg = cur_regs(env) + regno;  in is_ctx_reg()
1430 	const struct bpf_reg_state *reg = cur_regs(env) + regno;  in is_pkt_reg()
1436 				   const struct bpf_reg_state *reg,  in check_pkt_ptr_alignment()
1471 				       const struct bpf_reg_state *reg,  in check_generic_ptr_alignment()
1495 			       const struct bpf_reg_state *reg, int off,  in check_ptr_alignment()
1622 			 const struct bpf_reg_state *reg, int regno)  in check_ctx_reg()
1648 static void coerce_reg_to_size(struct bpf_reg_state *reg, int size)  in coerce_reg_to_size()
1678 	struct bpf_reg_state *regs = cur_regs(env);  in check_mem_access()
1679 	struct bpf_reg_state *reg = regs + regno;  in check_mem_access()
1849 	struct bpf_reg_state *reg = cur_regs(env) + regno;  in check_stack_boundary()
1921 	struct bpf_reg_state *regs = cur_regs(env), *reg = &regs[regno];  in check_helper_mem_access()
1954 	struct bpf_reg_state *regs = cur_regs(env), *reg = &regs[regno];  in check_func_arg()
2301 	struct bpf_reg_state *regs = state->regs, *reg;  in __clear_all_pkt_pointers()
2398 	struct bpf_reg_state *r0;  in prepare_func_exit()
2431 static void do_refine_retval_range(struct bpf_reg_state *regs, int ret_type,  in do_refine_retval_range()
2435 	struct bpf_reg_state *ret_reg = &regs[BPF_REG_0];  in do_refine_retval_range()
2477 	struct bpf_reg_state *regs;  in check_helper_call()
2651 				  const struct bpf_reg_state *reg,  in check_reg_sane_offset()
2692 				   const struct bpf_reg_state *ptr_reg,  in adjust_ptr_min_max_vals()
2693 				   const struct bpf_reg_state *off_reg)  in adjust_ptr_min_max_vals()
2697 	struct bpf_reg_state *regs = state->regs, *dst_reg;  in adjust_ptr_min_max_vals()
2889 				      struct bpf_reg_state *dst_reg,  in adjust_scalar_min_max_vals()
2890 				      struct bpf_reg_state src_reg)  in adjust_scalar_min_max_vals()
2892 	struct bpf_reg_state *regs = cur_regs(env);  in adjust_scalar_min_max_vals()
3158 	struct bpf_reg_state *regs = state->regs, *dst_reg, *src_reg;  in adjust_reg_min_max_vals()
3159 	struct bpf_reg_state *ptr_reg = NULL, off_reg = {0};  in adjust_reg_min_max_vals()
3224 	struct bpf_reg_state *regs = cur_regs(env);  in check_alu_op()
3379 				   struct bpf_reg_state *dst_reg,  in find_good_pkt_pointers()
3384 	struct bpf_reg_state *regs = state->regs, *reg;  in find_good_pkt_pointers()
3473 static void reg_set_min_max(struct bpf_reg_state *true_reg,  in reg_set_min_max()
3474 			    struct bpf_reg_state *false_reg, u64 val,  in reg_set_min_max()
3551 static void reg_set_min_max_inv(struct bpf_reg_state *true_reg,  in reg_set_min_max_inv()
3552 				struct bpf_reg_state *false_reg, u64 val,  in reg_set_min_max_inv()
3621 static void __reg_combine_min_max(struct bpf_reg_state *src_reg,  in __reg_combine_min_max()
3622 				  struct bpf_reg_state *dst_reg)  in __reg_combine_min_max()
3651 static void reg_combine_min_max(struct bpf_reg_state *true_src,  in reg_combine_min_max()
3652 				struct bpf_reg_state *true_dst,  in reg_combine_min_max()
3653 				struct bpf_reg_state *false_src,  in reg_combine_min_max()
3654 				struct bpf_reg_state *false_dst,  in reg_combine_min_max()
3667 static void mark_map_reg(struct bpf_reg_state *regs, u32 regno, u32 id,  in mark_map_reg()
3670 	struct bpf_reg_state *reg = &regs[regno];  in mark_map_reg()
3706 	struct bpf_reg_state *regs = state->regs;  in mark_map_regs()
3724 				   struct bpf_reg_state *dst_reg,  in try_match_pkt_pointers()
3725 				   struct bpf_reg_state *src_reg,  in try_match_pkt_pointers()
3821 	struct bpf_reg_state *regs = this_branch->frame[this_branch->curframe]->regs;  in check_cond_jmp_op()
3822 	struct bpf_reg_state *dst_reg, *other_branch_regs;  in check_cond_jmp_op()
3949 	struct bpf_reg_state *regs = cur_regs(env);  in check_ld_imm()
4010 	struct bpf_reg_state *regs = cur_regs(env);  in check_ld_abs()
4077 	struct bpf_reg_state *reg;  in check_return_code()
4326 static bool range_within(struct bpf_reg_state *old,  in range_within()
4327 			 struct bpf_reg_state *cur)  in range_within()
4372 static bool regsafe(struct bpf_reg_state *rold, struct bpf_reg_state *rcur,  in regsafe()
4381 	equal = memcmp(rold, rcur, offsetof(struct bpf_reg_state, frameno)) == 0;  in regsafe()
4419 		return memcmp(rold, rcur, offsetof(struct bpf_reg_state, id)) == 0 &&  in regsafe()
4432 		if (memcmp(rold, rcur, offsetof(struct bpf_reg_state, id)))  in regsafe()
4735 	struct bpf_reg_state *regs;  in do_check()