40 	int ret;  in bl31_plat_arch_setup()  local
42 	ret = s32cc_bl_mmu_setup();  in bl31_plat_arch_setup()
43 	if (ret != 0) {  in bl31_plat_arch_setup()
58 	int ret;  in mmap_gic()  local
60 	ret = mmap_add_dynamic_region(gic_data->gicd_base,  in mmap_gic()
64 	if (ret != 0) {  in mmap_gic()
65 		return ret;  in mmap_gic()
69 	ret = mmap_add_dynamic_region(gic_data->gicr_base,  in mmap_gic()
73 	if (ret != 0) {  in mmap_gic()
74 		return ret;  in mmap_gic()
91 	int ret;  in bl31_platform_setup()  local
93 	ret = mmap_gic(&plat_gic_data);  in bl31_platform_setup()
94 	if (ret != 0) {  in bl31_platform_setup()