| .. | .. |
|---|
| 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 | |
|---|