forked from Minki/linux
00f7dc6363
Provide information through SOC_BUS to user space. Silicon revision is provided through devcfg device. Signed-off-by: Michal Simek <michal.simek@xilinx.com>
44 lines
1.3 KiB
C
44 lines
1.3 KiB
C
/*
|
|
* This file contains common function prototypes to avoid externs
|
|
* in the c files.
|
|
*
|
|
* Copyright (C) 2011 Xilinx
|
|
*
|
|
* This software is licensed under the terms of the GNU General Public
|
|
* License version 2, as published by the Free Software Foundation, and
|
|
* may be copied, distributed, and modified under those terms.
|
|
*
|
|
* This program is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
* GNU General Public License for more details.
|
|
*/
|
|
|
|
#ifndef __MACH_ZYNQ_COMMON_H__
|
|
#define __MACH_ZYNQ_COMMON_H__
|
|
|
|
void zynq_secondary_startup(void);
|
|
|
|
extern int zynq_slcr_init(void);
|
|
extern int zynq_early_slcr_init(void);
|
|
extern void zynq_slcr_system_reset(void);
|
|
extern void zynq_slcr_cpu_stop(int cpu);
|
|
extern void zynq_slcr_cpu_start(int cpu);
|
|
extern u32 zynq_slcr_get_device_id(void);
|
|
|
|
#ifdef CONFIG_SMP
|
|
extern void secondary_startup(void);
|
|
extern char zynq_secondary_trampoline;
|
|
extern char zynq_secondary_trampoline_jump;
|
|
extern char zynq_secondary_trampoline_end;
|
|
extern int zynq_cpun_start(u32 address, int cpu);
|
|
extern struct smp_operations zynq_smp_ops __initdata;
|
|
#endif
|
|
|
|
extern void __iomem *zynq_scu_base;
|
|
|
|
/* Hotplug */
|
|
extern void zynq_platform_cpu_die(unsigned int cpu);
|
|
|
|
#endif
|