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