Searched refs:RSTMGR_CPUxRESETBASELOW_CPU3 (Results 1 – 2 of 2) sorted by relevance
221 #define RSTMGR_CPUxRESETBASELOW_CPU3 0x10D110B0 macro
255 mmio_write_64(RSTMGR_CPUxRESETBASELOW_CPU3, (uint64_t) plat_secondary_cpus_bl31_entry >> 2); in bl31_plat_set_secondary_cpu_entrypoint()