Searched refs:RSTMGR_CPUxRESETBASELOW_CPU1 (Results 1 – 2 of 2) sorted by relevance
217 #define RSTMGR_CPUxRESETBASELOW_CPU1 0x10D110A0 macro
254 mmio_write_64(RSTMGR_CPUxRESETBASELOW_CPU1, (uint64_t) plat_secondary_cpus_bl31_entry >> 2); in bl31_plat_set_secondary_cpu_entrypoint()