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
11extern void cpu_init(void);
12
13void soft_restart(unsigned long);
14extern void (*arm_pm_restart)(enum reboot_mode reboot_mode, const char *cmd);
15extern 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
23extern unsigned int user_debug;
24
25#endif
26
27#endif
28
