|
@@ -29,7 +29,6 @@ extern void zynq_slcr_cpu_state_write(int cpu, bool die);
|
|
extern u32 zynq_slcr_get_device_id(void);
|
|
extern u32 zynq_slcr_get_device_id(void);
|
|
|
|
|
|
#ifdef CONFIG_SMP
|
|
#ifdef CONFIG_SMP
|
|
-extern void secondary_startup(void);
|
|
|
|
extern char zynq_secondary_trampoline;
|
|
extern char zynq_secondary_trampoline;
|
|
extern char zynq_secondary_trampoline_jump;
|
|
extern char zynq_secondary_trampoline_jump;
|
|
extern char zynq_secondary_trampoline_end;
|
|
extern char zynq_secondary_trampoline_end;
|