Searched refs:boot_source (Results 1 – 8 of 8) sorted by relevance
26 static inline void brcm_stingray_set_straps(uint32_t boot_source) in brcm_stingray_set_straps() argument35 boot_source); in brcm_stingray_set_straps()
53 boot_source_type boot_source = BOOT_SOURCE; variable122 switch (boot_source) { in bl2_el3_plat_arch_setup()125 socfpga_io_setup(boot_source); in bl2_el3_plat_arch_setup()132 socfpga_io_setup(boot_source); in bl2_el3_plat_arch_setup()
54 boot_source_type boot_source = BOOT_SOURCE; variable123 switch (boot_source) { in bl2_el3_plat_arch_setup()126 socfpga_io_setup(boot_source); in bl2_el3_plat_arch_setup()133 socfpga_io_setup(boot_source); in bl2_el3_plat_arch_setup()
331 uint32_t boot_source; in brcm_io_setup() local344 boot_source = boot_source_get(); in brcm_io_setup()345 switch (boot_source) { in brcm_io_setup()378 uint32_t boot_source; in plat_get_image_source() local383 boot_source = boot_source_get(); in plat_get_image_source()385 policy = &boot_source_policies[boot_source]; in plat_get_image_source()
131 void socfpga_io_setup(int boot_source) in socfpga_io_setup() argument135 switch (boot_source) { in socfpga_io_setup()169 if (boot_source == BOOT_SOURCE_SDMMC) { in socfpga_io_setup()
37 void socfpga_io_setup(int boot_source);
303 uint32_t boot_source = (uint32_t)cookie; in brcm_system_reset2() local305 boot_source &= BOOT_SOURCE_MASK; in brcm_system_reset2()306 brcm_stingray_set_straps(boot_source); in brcm_system_reset2()
50 …./create_pbl -r <RCW file> -i <bl2.bin> -c <chassis_no> -b <boot_source = sd/qspi/nor> -d <Destina…
