119 	int result;  in check_dev()  local
122 	result = io_dev_init(boot_dev_handle, (uintptr_t)NULL);  in check_dev()
123 	if (result == 0) {  in check_dev()
124 		result = io_open(boot_dev_handle, spec, &local_handle);  in check_dev()
125 		if (result == 0)  in check_dev()
128 	return result;  in check_dev()
133 	int result;  in check_fip()  local
136 	result = io_dev_init(fip_dev_handle, (uintptr_t)FIP_IMAGE_ID);  in check_fip()
137 	if (result == 0) {  in check_fip()
138 		result = io_open(fip_dev_handle, spec, &local_image_handle);  in check_fip()
139 		if (result == 0)  in check_fip()
142 	return result;  in check_fip()
147 	int result;  in socfpga_io_setup()  local
179 	result = (*register_io_dev)(&boot_dev_con);  in socfpga_io_setup()
180 	assert(result == 0);  in socfpga_io_setup()
182 	result = register_io_dev_fip(&fip_dev_con);  in socfpga_io_setup()
183 	assert(result == 0);  in socfpga_io_setup()
186 		result = io_dev_open(boot_dev_con, (uintptr_t)&nand_dev_spec,  in socfpga_io_setup()
189 		result = io_dev_open(boot_dev_con, (uintptr_t)&boot_dev_spec,  in socfpga_io_setup()
192 	assert(result == 0);  in socfpga_io_setup()
194 	result = io_dev_open(fip_dev_con, (uintptr_t)NULL, &fip_dev_handle);  in socfpga_io_setup()
195 	assert(result == 0);  in socfpga_io_setup()
202 	(void)result;  in socfpga_io_setup()
208 	int result;  in plat_get_image_source()  local
214 	result = policy->check(policy->image_spec);  in plat_get_image_source()
215 	assert(result == 0);  in plat_get_image_source()
220 	return result;  in plat_get_image_source()