12832   int ret = -1;  in ps7_post_config()  local
12834       ret = ps7_config (ps7_post_config_1_0);  in ps7_post_config()
12835       if (ret != PS7_INIT_SUCCESS) return ret;  in ps7_post_config()
12837       ret = ps7_config (ps7_post_config_2_0);  in ps7_post_config()
12838       if (ret != PS7_INIT_SUCCESS) return ret;  in ps7_post_config()
12840       ret = ps7_config (ps7_post_config_3_0);  in ps7_post_config()
12841       if (ret != PS7_INIT_SUCCESS) return ret;  in ps7_post_config()
12851   int ret = -1;  in ps7_debug()  local
12853       ret = ps7_config (ps7_debug_1_0);  in ps7_debug()
12854       if (ret != PS7_INIT_SUCCESS) return ret;  in ps7_debug()
12856       ret = ps7_config (ps7_debug_2_0);  in ps7_debug()
12857       if (ret != PS7_INIT_SUCCESS) return ret;  in ps7_debug()
12859       ret = ps7_config (ps7_debug_3_0);  in ps7_debug()
12860       if (ret != PS7_INIT_SUCCESS) return ret;  in ps7_debug()
12870   int ret;  in ps7_init()  local
12899   ret = ps7_config (ps7_mio_init_data);  in ps7_init()
12900   if (ret != PS7_INIT_SUCCESS) return ret;  in ps7_init()
12903   ret = ps7_config (ps7_pll_init_data);  in ps7_init()
12904   if (ret != PS7_INIT_SUCCESS) return ret;  in ps7_init()
12907   ret = ps7_config (ps7_clock_init_data);  in ps7_init()
12908   if (ret != PS7_INIT_SUCCESS) return ret;  in ps7_init()
12911   ret = ps7_config (ps7_ddr_init_data);  in ps7_init()
12912   if (ret != PS7_INIT_SUCCESS) return ret;  in ps7_init()
12917   ret = ps7_config (ps7_peripherals_init_data);  in ps7_init()
12918   if (ret != PS7_INIT_SUCCESS) return ret;  in ps7_init()