1b85a3ef4SJohn Linn /* 2b85a3ef4SJohn Linn * This file contains common function prototypes to avoid externs 3b85a3ef4SJohn Linn * in the c files. 4b85a3ef4SJohn Linn * 5b85a3ef4SJohn Linn * Copyright (C) 2011 Xilinx 6b85a3ef4SJohn Linn * 7b85a3ef4SJohn Linn * This software is licensed under the terms of the GNU General Public 8b85a3ef4SJohn Linn * License version 2, as published by the Free Software Foundation, and 9b85a3ef4SJohn Linn * may be copied, distributed, and modified under those terms. 10b85a3ef4SJohn Linn * 11b85a3ef4SJohn Linn * This program is distributed in the hope that it will be useful, 12b85a3ef4SJohn Linn * but WITHOUT ANY WARRANTY; without even the implied warranty of 13b85a3ef4SJohn Linn * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14b85a3ef4SJohn Linn * GNU General Public License for more details. 15b85a3ef4SJohn Linn */ 16b85a3ef4SJohn Linn 17b85a3ef4SJohn Linn #ifndef __MACH_ZYNQ_COMMON_H__ 18b85a3ef4SJohn Linn #define __MACH_ZYNQ_COMMON_H__ 19b85a3ef4SJohn Linn 2064b889b3SMichal Simek extern int zynq_slcr_init(void); 2196790f0aSMichal Simek extern void zynq_slcr_system_reset(void); 22aa7eb2bbSMichal Simek extern void zynq_slcr_cpu_stop(int cpu); 23aa7eb2bbSMichal Simek extern void zynq_slcr_cpu_start(int cpu); 24aa7eb2bbSMichal Simek 25aa7eb2bbSMichal Simek #ifdef CONFIG_SMP 26aa7eb2bbSMichal Simek extern void secondary_startup(void); 27aa7eb2bbSMichal Simek extern char zynq_secondary_trampoline; 28aa7eb2bbSMichal Simek extern char zynq_secondary_trampoline_jump; 29aa7eb2bbSMichal Simek extern char zynq_secondary_trampoline_end; 30aa7eb2bbSMichal Simek extern int __cpuinit zynq_cpun_start(u32 address, int cpu); 31aa7eb2bbSMichal Simek extern struct smp_operations zynq_smp_ops __initdata; 32aa7eb2bbSMichal Simek #endif 3364b889b3SMichal Simek 3464b889b3SMichal Simek extern void __iomem *zynq_slcr_base; 35732078c3SMichal Simek extern void __iomem *zynq_scu_base; 36732078c3SMichal Simek 37c7c28b0fSMichal Simek /* Hotplug */ 38c7c28b0fSMichal Simek extern void zynq_platform_cpu_die(unsigned int cpu); 39c7c28b0fSMichal Simek 40b85a3ef4SJohn Linn #endif 41