zynq_slcr_cpu_state_write
extern void zynq_slcr_cpu_state_write(int cpu, bool die);
zynq_slcr_cpu_state_write(cpu, true);
zynq_slcr_cpu_state_write(cpu, false);