Searched refs:plat_setup_done (Results 1 – 1 of 1) sorted by relevance
30 int plat_setup_done = 0; in bl2_load_images() local51 if (plat_setup_done != 0) { in bl2_load_images()56 plat_setup_done = 1; in bl2_load_images()