1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef __ASM_ARM_SYSTEM_MISC_H
3 #define __ASM_ARM_SYSTEM_MISC_H
7 #include <linux/compiler.h>
8 #include <linux/linkage.h>
9 #include <linux/irqflags.h>
10 #include <linux/reboot.h>
12 extern void cpu_init(void);
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);
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)
24 extern unsigned int user_debug
;
26 static inline int handle_guest_sea(phys_addr_t addr
, unsigned int esr
)
31 #endif /* !__ASSEMBLY__ */
33 #endif /* __ASM_ARM_SYSTEM_MISC_H */