Searched defs:boot_source (Results 1 – 13 of 13) sorted by relevance
331 uint32_t boot_source; in brcm_io_setup() local378 uint32_t boot_source; in plat_get_image_source() local
26 static inline void brcm_stingray_set_straps(uint32_t boot_source) in brcm_stingray_set_straps()
52 boot_source_type boot_source = BOOT_SOURCE; variable
53 boot_source_type boot_source = BOOT_SOURCE; variable
50 boot_source_type boot_source = BOOT_SOURCE; variable
55 boot_source_type boot_source = BOOT_SOURCE; variable
65 boot_source_type boot_source = BOOT_SOURCE; variable
149 void socfpga_io_setup(int boot_source, unsigned long offset) in socfpga_io_setup()
131 void socfpga_io_setup(int boot_source) in socfpga_io_setup()
303 uint32_t boot_source = (uint32_t)cookie; in brcm_system_reset2() local