| #ifndef __ASM_ARM_SYSTEM_MISC_H | |
| #define __ASM_ARM_SYSTEM_MISC_H | |
| #ifndef __ASSEMBLY__ | |
| #include <linux/compiler.h> | |
| #include <linux/linkage.h> | |
| #include <linux/irqflags.h> | |
| #include <linux/reboot.h> | |
| extern void cpu_init(void); | |
| void soft_restart(unsigned long); | |
| extern void (*arm_pm_restart)(enum reboot_mode reboot_mode, const char *cmd); | |
| extern void (*arm_pm_idle)(void); | |
| #define UDBG_UNDEFINED (1 << 0) | |
| #define UDBG_SYSCALL (1 << 1) | |
| #define UDBG_BADABORT (1 << 2) | |
| #define UDBG_SEGV (1 << 3) | |
| #define UDBG_BUS (1 << 4) | |
| extern unsigned int user_debug; | |
| #endif /* !__ASSEMBLY__ */ | |
| #endif /* __ASM_ARM_SYSTEM_MISC_H */ |