zynq_slcr_cpu_state_read
extern bool zynq_slcr_cpu_state_read(int cpu);
while (zynq_slcr_cpu_state_read(cpu))