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