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
8 enum ipi_vector {
9 XEN_PLACEHOLDER_VECTOR,
10
11 /* Xen IPIs go here */
12 XEN_NR_IPIS,
13 };
14
15 static 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 */
23 static inline bool xen_support_evtchn_rebind(void)
24 {
25 return true;
26 }
27
28 #endif /* _ASM_ARM64_XEN_EVENTS_H */
29
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.