[mirror_ubuntu-disco-kernel.git] / arch / arm / include / asm / system_misc.h

/* SPDX-License-Identifier: GPL-2.0 */
#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;

static inline int handle_guest_sea(phys_addr_t addr, unsigned int esr)
{
	return -1;
}

#endif /* !__ASSEMBLY__ */

#endif /* __ASM_ARM_SYSTEM_MISC_H */
Commit	Line	Data
b2441318	1	/* SPDX-License-Identifier: GPL-2.0 */
9f97da78 DH	2	#ifndef __ASM_ARM_SYSTEM_MISC_H
	3	#define __ASM_ARM_SYSTEM_MISC_H
	4
	5	#ifndef __ASSEMBLY__
	6
	7	#include <linux/compiler.h>
	8	#include <linux/linkage.h>
	9	#include <linux/irqflags.h>
7b6d864b	10	#include <linux/reboot.h>
9f97da78 DH	11
	12	extern void cpu_init(void);
	13
	14	void soft_restart(unsigned long);
7b6d864b	15	extern void (arm_pm_restart)(enum reboot_mode reboot_mode, const char cmd);
0195c002	16	extern void (*arm_pm_idle)(void);
9f97da78 DH	17
	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)
	23
	24	extern unsigned int user_debug;
	25
621f48e4 TB	26	static inline int handle_guest_sea(phys_addr_t addr, unsigned int esr)
	27	{
	28	return -1;
	29	}
	30
9f97da78 DH	31	#endif /* !__ASSEMBLY__ */
	32
	33	#endif /* __ASM_ARM_SYSTEM_MISC_H */