blob: 0827df72dea139b455c5849cbca4c70b7aca53c1 [file] [log] [blame]
David Howells9f97da72012-03-28 18:30:01 +01001#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
10extern void cpu_init(void);
11
12void soft_restart(unsigned long);
13extern void (*arm_pm_restart)(char str, const char *cmd);
Linus Torvalds0195c002012-03-28 15:58:21 -070014extern void (*arm_pm_idle)(void);
David Howells9f97da72012-03-28 18:30:01 +010015
16#define UDBG_UNDEFINED (1 << 0)
17#define UDBG_SYSCALL (1 << 1)
18#define UDBG_BADABORT (1 << 2)
19#define UDBG_SEGV (1 << 3)
20#define UDBG_BUS (1 << 4)
21
22extern unsigned int user_debug;
23
24extern void disable_hlt(void);
25extern void enable_hlt(void);
Neil Leeder68d66ff2013-05-23 16:05:41 -040026extern int get_hlt(void);
Abhimanyu Kapur232a45c2014-03-05 20:21:45 -080027extern char* (*arch_read_hardware_id)(void);
David Howells9f97da72012-03-28 18:30:01 +010028
29#endif /* !__ASSEMBLY__ */
30
31#endif /* __ASM_ARM_SYSTEM_MISC_H */