Commit | Line | Data |
---|---|---|
b2441318 | 1 | /* SPDX-License-Identifier: GPL-2.0 */ |
0ec53ecf SS |
2 | #ifndef _ASM_ARM_XEN_EVENTS_H |
3 | #define _ASM_ARM_XEN_EVENTS_H | |
4 | ||
5 | #include <asm/ptrace.h> | |
85323a99 | 6 | #include <asm/atomic.h> |
0ec53ecf SS |
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 raw_irqs_disabled_flags(regs->ARM_cpsr); | |
18 | } | |
19 | ||
9cc91f21 | 20 | #define xchg_xen_ulong(ptr, val) atomic64_xchg(container_of((long long*)(ptr),\ |
85323a99 IC |
21 | atomic64_t, \ |
22 | counter), (val)) | |
c81611c4 | 23 | |
4a5b6946 JG |
24 | /* Rebind event channel is supported by default */ |
25 | static inline bool xen_support_evtchn_rebind(void) | |
26 | { | |
27 | return true; | |
28 | } | |
29 | ||
0ec53ecf | 30 | #endif /* _ASM_ARM_XEN_EVENTS_H */ |