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