1#ifndef __HIGHBANK_CORE_H
 2#define __HIGHBANK_CORE_H
 3
 4#include <linux/reboot.h>
 5
 6extern void highbank_restart(enum reboot_mode, const char *);
 7extern void __iomem *scu_base_addr;
 8
 9#ifdef CONFIG_PM_SLEEP
10extern void highbank_pm_init(void);
11#else
12static inline void highbank_pm_init(void) {}
13#endif
14
15extern void highbank_smc1(int fn, int arg);
16
17#endif

 1extern void highbank_set_cpu_jump(int cpu, void *jump_addr);
 2extern void highbank_clocks_init(void);
 3extern void highbank_restart(char, const char *);
 
 
 
 4extern void __iomem *scu_base_addr;
 5#ifdef CONFIG_DEBUG_HIGHBANK_UART
 6extern void highbank_lluart_map_io(void);
 
 7#else
 8static inline void highbank_lluart_map_io(void) {}
 9#endif
10
11extern void highbank_smc1(int fn, int arg);