Searched defs:boot_core (Results 1 – 1 of 1) sorted by relevance
189 uint32_t boot_core = 0x00; in bl31_plat_arch_setup() local233 uint32_t boot_core = 0x00; in bl31_plat_set_secondary_cpu_entrypoint() local