Searched refs:plat_secondary_cpus_bl31_entry (Results 1 – 6 of 6) sorted by relevance
273 (uint64_t) plat_secondary_cpus_bl31_entry >> 2); in bl31_plat_set_secondary_cpu_entrypoint()277 (uint64_t) plat_secondary_cpus_bl31_entry >> 2); in bl31_plat_set_secondary_cpu_entrypoint()281 mmio_write_64(RSTMGR_CPUxRESETBASELOW_CPU1, (uint64_t) plat_secondary_cpus_bl31_entry >> 2); in bl31_plat_set_secondary_cpu_entrypoint()282 mmio_write_64(RSTMGR_CPUxRESETBASELOW_CPU3, (uint64_t) plat_secondary_cpus_bl31_entry >> 2); in bl31_plat_set_secondary_cpu_entrypoint()
67 void plat_secondary_cpus_bl31_entry(void);
23 .globl plat_secondary_cpus_bl31_entry symbol273 func plat_secondary_cpus_bl31_entry282 endfunc plat_secondary_cpus_bl31_entry
117 (uint64_t)plat_secondary_cpus_bl31_entry); in bl31_platform_setup()
124 (uint64_t)plat_secondary_cpus_bl31_entry); in bl31_platform_setup()
200 (uint64_t)plat_secondary_cpus_bl31_entry); in bl31_platform_setup()