.. | .. |
---|
13 | 13 | extern void cpu_init(void); |
---|
14 | 14 | |
---|
15 | 15 | void soft_restart(unsigned long); |
---|
16 | | -extern void (*arm_pm_restart)(enum reboot_mode reboot_mode, const char *cmd); |
---|
17 | 16 | extern void (*arm_pm_idle)(void); |
---|
18 | 17 | |
---|
19 | 18 | #ifdef CONFIG_HARDEN_BRANCH_PREDICTOR |
---|
.. | .. |
---|
37 | 36 | #define UDBG_BUS (1 << 4) |
---|
38 | 37 | |
---|
39 | 38 | extern unsigned int user_debug; |
---|
40 | | -extern char* (*arch_read_hardware_id)(void); |
---|
41 | | - |
---|
42 | | -static inline int handle_guest_sea(phys_addr_t addr, unsigned int esr) |
---|
43 | | -{ |
---|
44 | | - return -1; |
---|
45 | | -} |
---|
46 | 39 | |
---|
47 | 40 | #endif /* !__ASSEMBLY__ */ |
---|
48 | 41 | |
---|