Commit | Line | Data |
---|---|---|
b2441318 | 1 | /* SPDX-License-Identifier: GPL-2.0 */ |
9f54ad66 SS |
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 | { | |
b0506a8b | 17 | return !interrupts_enabled(regs); |
9f54ad66 SS |
18 | } |
19 | ||
20 | #define xchg_xen_ulong(ptr, val) xchg((ptr), (val)) | |
21 | ||
4a5b6946 JG |
22 | /* Rebind event channel is supported by default */ |
23 | static inline bool xen_support_evtchn_rebind(void) | |
24 | { | |
25 | return true; | |
26 | } | |
27 | ||
9f54ad66 | 28 | #endif /* _ASM_ARM64_XEN_EVENTS_H */ |