zynq_slcr_cpu_stop
extern void zynq_slcr_cpu_stop(int cpu);
zynq_slcr_cpu_stop(cpu);
zynq_slcr_cpu_stop(phy_cpuid);