1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _ASM_ARM64_XEN_EVENTS_H
3#define _ASM_ARM64_XEN_EVENTS_H
4
5#include <asm/ptrace.h>
6#include <asm/atomic.h>
7
8enum ipi_vector {
9	XEN_PLACEHOLDER_VECTOR,
10
11	/* Xen IPIs go here */
12	XEN_NR_IPIS,
13};
14
15static inline int xen_irqs_disabled(struct pt_regs *regs)
16{
17	return !interrupts_enabled(regs);
18}
19
20#define xchg_xen_ulong(ptr, val) xchg((ptr), (val))
21
22/* Rebind event channel is supported by default */
23static inline bool xen_support_evtchn_rebind(void)
24{
25	return true;
26}
27
28#endif /* _ASM_ARM64_XEN_EVENTS_H */
29