593 static bool is_spi_bounds_valid(struct bpf_func_state *state, int spi, int nr_slots)  in is_spi_bounds_valid()  argument
604        return spi - nr_slots + 1 >= 0 && spi < allocated_slots;  in is_spi_bounds_valid()
608 			          const char *obj_kind, int nr_slots)  in stack_slot_obj_get_spi()  argument
624 	if (spi + 1 < nr_slots) {  in stack_slot_obj_get_spi()
629 	if (!is_spi_bounds_valid(func(env, reg), spi, nr_slots))  in stack_slot_obj_get_spi()
639 static int iter_get_spi(struct bpf_verifier_env *env, struct bpf_reg_state *reg, int nr_slots)  in iter_get_spi()  argument
641 	return stack_slot_obj_get_spi(env, reg, "iter", nr_slots);  in iter_get_spi()
1008 				 struct btf *btf, u32 btf_id, int nr_slots)  in mark_stack_slots_iter()  argument
1013 	spi = iter_get_spi(env, reg, nr_slots);  in mark_stack_slots_iter()
1021 	for (i = 0; i < nr_slots; i++) {  in mark_stack_slots_iter()
1050 				   struct bpf_reg_state *reg, int nr_slots)  in unmark_stack_slots_iter()  argument
1055 	spi = iter_get_spi(env, reg, nr_slots);  in unmark_stack_slots_iter()
1059 	for (i = 0; i < nr_slots; i++) {  in unmark_stack_slots_iter()
1081 				     struct bpf_reg_state *reg, int nr_slots)  in is_iter_reg_valid_uninit()  argument
1090 	spi = iter_get_spi(env, reg, nr_slots);  in is_iter_reg_valid_uninit()
1096 	for (i = 0; i < nr_slots; i++) {  in is_iter_reg_valid_uninit()
1108 				   struct btf *btf, u32 btf_id, int nr_slots)  in is_iter_reg_valid_init()  argument
1113 	spi = iter_get_spi(env, reg, nr_slots);  in is_iter_reg_valid_init()
1117 	for (i = 0; i < nr_slots; i++) {  in is_iter_reg_valid_init()
3236 			  int spi, int nr_slots)  in mark_iter_read()  argument
3241 	for (i = 0; i < nr_slots; i++) {  in mark_iter_read()
8175 	int spi, err, i, nr_slots, btf_id;  in process_iter_arg()  local
8194 	nr_slots = t->size / BPF_REG_SIZE;  in process_iter_arg()
8198 		if (!is_iter_reg_valid_uninit(env, reg, nr_slots)) {  in process_iter_arg()
8204 		for (i = 0; i < nr_slots * 8; i += BPF_REG_SIZE) {  in process_iter_arg()
8211 		err = mark_stack_slots_iter(env, meta, reg, insn_idx, meta->btf, btf_id, nr_slots);  in process_iter_arg()
8218 		err = is_iter_reg_valid_init(env, reg, meta->btf, btf_id, nr_slots);  in process_iter_arg()
8233 		spi = iter_get_spi(env, reg, nr_slots);  in process_iter_arg()
8237 		err = mark_iter_read(env, reg, spi, nr_slots);  in process_iter_arg()
8247 			err = unmark_stack_slots_iter(env, reg, nr_slots);  in process_iter_arg()