1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef __ASM_ARM_SYSTEM_MISC_H 3 #define __ASM_ARM_SYSTEM_MISC_H 4 5 #ifndef __ASSEMBLY__ 6 7 #include <linux/compiler.h> 8 #include <linux/linkage.h> 9 #include <linux/irqflags.h> 10 #include <linux/reboot.h> 11 12 extern void cpu_init(void); 13 14 void soft_restart(unsigned long); 15 extern void (*arm_pm_restart)(enum reboot_mode reboot_mode, const char *cmd); 16 extern void (*arm_pm_idle)(void); 17 18 #define UDBG_UNDEFINED (1 << 0) 19 #define UDBG_SYSCALL (1 << 1) 20 #define UDBG_BADABORT (1 << 2) 21 #define UDBG_SEGV (1 << 3) 22 #define UDBG_BUS (1 << 4) 23 24 extern unsigned int user_debug; 25 26 static inline int handle_guest_sea(phys_addr_t addr, unsigned int esr) 27 { 28 return -1; 29 } 30 31 #endif /* !__ASSEMBLY__ */ 32 33 #endif /* __ASM_ARM_SYSTEM_MISC_H */ 34