271 } argno_t;  typedef
273 static argno_t argno_from_reg(u32 regno)  in argno_from_reg()
275 	return (argno_t){ .argno = regno };  in argno_from_reg()
278 static argno_t argno_from_arg(u32 arg)  in argno_from_arg()
280 	return (argno_t){ .argno = -arg };  in argno_from_arg()
283 static int reg_from_argno(argno_t a)  in reg_from_argno()
292 static int arg_from_argno(argno_t a)  in arg_from_argno()
299 static int arg_idx_from_argno(argno_t a)  in arg_idx_from_argno()
1818 static const char *reg_arg_name(struct bpf_verifier_env *env, argno_t argno)  in reg_arg_name()
4028 					 argno_t argno, int off, int access_size,
4052 				    argno_t ptr_argno, int off, int size, int dst_regno)  in check_stack_read_var_off()
4085 			    struct bpf_reg_state *reg, argno_t ptr_argno, int off, int size,  in check_stack_read()
4254 static int mark_arg_precision(struct bpf_verifier_env *env, argno_t argno)  in mark_arg_precision()
4319 static int __check_mem_access(struct bpf_verifier_env *env, struct bpf_reg_state *reg, argno_t argn…  in __check_mem_access()
4357 static int check_mem_region_access(struct bpf_verifier_env *env, struct bpf_reg_state *reg, argno_t…  in check_mem_region_access()
4446 			       const struct bpf_reg_state *reg, argno_t argno,  in __check_ptr_off_reg()
4761 static int check_map_access(struct bpf_verifier_env *env, struct bpf_reg_state *reg, argno_t argno,  in check_map_access()
4866 static int check_packet_access(struct bpf_verifier_env *env, struct bpf_reg_state *reg, argno_t arg…  in check_packet_access()
4931 …ck_ctx_access(struct bpf_verifier_env *env, int insn_idx, struct bpf_reg_state *reg, argno_t argno,  in check_ctx_access()
4958 				  struct bpf_reg_state *reg, argno_t argno,  in check_flow_keys_access()
4982 			     struct bpf_reg_state *reg, argno_t argno, int off, int size,  in check_sock_access()
5581 				 argno_t argno, int off, int size,  in __check_buffer_access()
5610 				  argno_t argno, int off, int size)  in check_tp_buffer_access()
5626 			       argno_t argno, int off, int size,  in check_buffer_access()
5988 				   argno_t argno, int off, int size,  in check_ptr_to_btf_access()
6158 				   argno_t argno, int off, int size,  in check_ptr_to_map_access()
6251 		argno_t argno, int off, int access_size,  in check_stack_access_within_bounds()
6386 …ck_mem_access(struct bpf_verifier_env *env, int insn_idx, struct bpf_reg_state *reg, argno_t argno,  in check_mem_access()
6896 		struct bpf_verifier_env *env, struct bpf_reg_state *reg, argno_t argno, int off,  in check_stack_range_initialized()
7016 				   argno_t argno, int access_size,  in check_helper_mem_access()
7118 			      struct bpf_reg_state *size_reg, argno_t mem_argno,  in check_mem_size_reg()
7119 			      argno_t size_argno, u32 access_type,  in check_mem_size_reg()
7189 			 argno_t argno, u32 mem_size, enum bpf_access_type access_type,  in check_mem_reg()
7222 					argno_t argno, struct ret_mem_desc *ret_mem)  in process_const_alloc_mem_size()
7256 			     argno_t argno, struct bpf_call_arg_meta *meta)  in process_const_arg()
7312 static int process_spin_lock(struct bpf_verifier_env *env, struct bpf_reg_state *reg, argno_t argno…  in process_spin_lock()
7469 static int check_map_field_pointer(struct bpf_verifier_env *env, struct bpf_reg_state *reg, argno_t…  in check_map_field_pointer()
7522 static int process_timer_func(struct bpf_verifier_env *env, struct bpf_reg_state *reg, argno_t argn…  in process_timer_func()
7580 static void bpf_diag_call_arg(struct bpf_verifier_env *env, u32 insn_idx, argno_t argno,
7583 						 argno_t argno, const char *call_name,
7610 			       argno_t argno, int insn_idx, const char *call_name,  in process_dynptr_func()
7748 static int process_iter_arg(struct bpf_verifier_env *env, struct bpf_reg_state *reg, argno_t argno,…  in process_iter_arg()
8249 static void bpf_diag_call_arg(struct bpf_verifier_env *env, u32 insn_idx, argno_t argno,  in bpf_diag_call_arg()
8267 static const char *bpf_diag_arg_name(struct bpf_verifier_env *env, argno_t argno)  in bpf_diag_arg_name()
8273 						 argno_t argno, const char *call_name,  in bpf_diag_call_arg_fmt()
8306 static int check_reg_type(struct bpf_verifier_env *env, struct bpf_reg_state *reg, argno_t argno,  in check_reg_type()
8491 				    const struct bpf_reg_state *reg, argno_t argno,  in __check_func_arg_reg_off()
8571 				  const struct bpf_reg_state *reg, argno_t argno,  in check_func_arg_reg_off()
8578 			       struct bpf_reg_state *reg, argno_t argno)  in check_arg_const_str()
8701 			       argno_t argno, struct bpf_call_arg_meta *meta)  in process_map_ptr_arg()
8717 		argno_t obj_argno = argno_from_reg(reg_from_argno(argno) - 1);  in process_map_ptr_arg()
8746 	argno_t argno = argno_from_reg(regno);  in check_func_arg()
9719 		argno_t argno = argno_from_arg(i + 1);  in btf_check_func_arg_match()
11958 	argno_t argno = argno_from_arg(arg + 1);  in get_kfunc_arg_type()
12130 					int arg, argno_t argno)  in process_kf_arg_ptr_to_btf_id()
12198 static int process_irq_flag(struct bpf_verifier_env *env, struct bpf_reg_state *reg, argno_t argno,  in process_irq_flag()
12516 				   struct bpf_reg_state *reg, argno_t argno,  in __process_kf_arg_ptr_to_graph_root()
12566 					   struct bpf_reg_state *reg, argno_t argno,  in process_kf_arg_ptr_to_list_head()
12574 					     struct bpf_reg_state *reg, argno_t argno,  in process_kf_arg_ptr_to_rbtree_root()
12583 				   struct bpf_reg_state *reg, argno_t argno,  in __process_kf_arg_ptr_to_graph_node()
12648 					   struct bpf_reg_state *reg, argno_t argno,  in process_kf_arg_ptr_to_list_node()
12657 					     struct bpf_reg_state *reg, argno_t argno,  in process_kf_arg_ptr_to_rbtree_node()
12713 		argno_t argno = argno_from_arg(i + 1);  in check_kfunc_args()
13209 			argno_t buff_argno = argno_from_arg(i);  in check_kfunc_args()