26 void socfpga_wakeup_secondary_cpu(unsigned int cpu_id);
50 	unsigned int cpu_id = plat_core_pos_by_mpidr(mpidr);  in socfpga_pwr_domain_on()  local
59 	if (cpu_id == -1)  in socfpga_pwr_domain_on()
63 	if (cpu_id == 0x00) {  in socfpga_pwr_domain_on()
69 	mmio_write_64(PLAT_CPUID_RELEASE, cpu_id);  in socfpga_pwr_domain_on()
74 	bl31_plat_set_secondary_cpu_entrypoint(cpu_id);  in socfpga_pwr_domain_on()
76 	mmio_setbits_32(SOCFPGA_RSTMGR(MPUMODRST), 1 << cpu_id);  in socfpga_pwr_domain_on()
77 	mmio_write_64(PLAT_CPUID_RELEASE, cpu_id);  in socfpga_pwr_domain_on()
109 	unsigned int cpu_id = plat_my_core_pos();  in socfpga_pwr_domain_suspend()  local
118 	mmio_setbits_32(SOCFPGA_RSTMGR(MPUMODRST), 1 << cpu_id);  in socfpga_pwr_domain_suspend()
157 	unsigned int cpu_id = plat_my_core_pos();  in socfpga_pwr_domain_suspend_finish()  local
166 	mmio_clrbits_32(SOCFPGA_RSTMGR(MPUMODRST), 1 << cpu_id);  in socfpga_pwr_domain_suspend_finish()