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