37 int zynq_cpun_start(u32 address, int cpu)  in zynq_cpun_start()  argument
50 		zynq_slcr_cpu_stop(cpu);  in zynq_cpun_start()
79 		zynq_slcr_cpu_start(cpu);  in zynq_cpun_start()
84 	pr_warn("Can't start CPU%d: Wrong starting address %x\n", cpu, address);  in zynq_cpun_start()
90 static int zynq_boot_secondary(unsigned int cpu, struct task_struct *idle)  in zynq_boot_secondary()  argument
92 	return zynq_cpun_start(virt_to_phys(secondary_startup), cpu);  in zynq_boot_secondary()
121 static void zynq_secondary_init(unsigned int cpu)  in zynq_secondary_init()  argument
127 static int zynq_cpu_kill(unsigned cpu)  in zynq_cpu_kill()  argument
131 	while (zynq_slcr_cpu_state_read(cpu))  in zynq_cpu_kill()
135 	zynq_slcr_cpu_stop(cpu);  in zynq_cpu_kill()
146 static void zynq_cpu_die(unsigned int cpu)  in zynq_cpu_die()  argument
148 	zynq_slcr_cpu_state_write(cpu, true);  in zynq_cpu_die()