bl32_plat_setup.c 4.08 KB