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