2012-11-06 20:09:10 +01:00
|
|
|
#ifndef __HIGHBANK_CORE_H
|
|
|
|
#define __HIGHBANK_CORE_H
|
|
|
|
|
2013-07-09 01:01:40 +02:00
|
|
|
#include <linux/reboot.h>
|
|
|
|
|
2011-06-07 17:02:55 +02:00
|
|
|
extern void highbank_set_cpu_jump(int cpu, void *jump_addr);
|
2013-07-09 01:01:40 +02:00
|
|
|
extern void highbank_restart(enum reboot_mode, const char *);
|
2011-06-07 17:02:55 +02:00
|
|
|
extern void __iomem *scu_base_addr;
|
|
|
|
|
2012-09-17 16:55:12 +02:00
|
|
|
#ifdef CONFIG_PM_SLEEP
|
|
|
|
extern void highbank_pm_init(void);
|
|
|
|
#else
|
|
|
|
static inline void highbank_pm_init(void) {}
|
|
|
|
#endif
|
|
|
|
|
2012-06-07 00:20:10 +02:00
|
|
|
extern void highbank_smc1(int fn, int arg);
|
2012-09-05 16:36:18 +02:00
|
|
|
extern void highbank_cpu_die(unsigned int cpu);
|
|
|
|
|
|
|
|
extern struct smp_operations highbank_smp_ops;
|
2012-11-06 20:09:10 +01:00
|
|
|
|
|
|
|
#endif
|