127 	unsigned int index;  in find_first_fip_state()  local
129 	for (index = 0; index < (unsigned int)MAX_FIP_DEVICES; ++index) {  in find_first_fip_state()
131 		if (state_pool[index].dev_spec == dev_spec) {  in find_first_fip_state()
133 			*index_out = index;  in find_first_fip_state()
149 		unsigned int index = 0;  in allocate_dev_info()  local
151 		result = find_first_fip_state(0, &index);  in allocate_dev_info()
154 		dev_info_pool[index].funcs = &fip_dev_funcs;  in allocate_dev_info()
155 		dev_info_pool[index].info =  in allocate_dev_info()
156 				(uintptr_t)&state_pool[index];  in allocate_dev_info()
157 		*dev_info = &dev_info_pool[index];  in allocate_dev_info()
168 	unsigned int index = 0;  in free_dev_info()  local
174 	result = find_first_fip_state(state->dev_spec, &index);  in free_dev_info()