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