static int zynq_boot_secondary(unsigned int cpu, struct task_struct *idle) { if (!zynq_efuse_cpu_state(cpu)) return -1; return zynq_cpun_start(__pa_symbol(secondary_startup), cpu); }
static int zynq_boot_secondary(unsigned int cpu, struct task_struct *idle) { return zynq_cpun_start(virt_to_phys(secondary_startup), cpu); }