asm/xen/events.h

0001 /* SPDX-License-Identifier: GPL-2.0 */
0002 #ifndef _ASM_ARM64_XEN_EVENTS_H
0003 #define _ASM_ARM64_XEN_EVENTS_H
0004
0005 #include <asm/ptrace.h>
0006 #include <asm/atomic.h>
0007
0008 enum ipi_vector {
0009     XEN_PLACEHOLDER_VECTOR,
0010
0011     /* Xen IPIs go here */
0012     XEN_NR_IPIS,
0013 };
0014
0015 static inline int xen_irqs_disabled(struct pt_regs *regs)
0016 {
0017     return !interrupts_enabled(regs);
0018 }
0019
0020 #define xchg_xen_ulong(ptr, val) xchg((ptr), (val))
0021
0022 /* Rebind event channel is supported by default */
0023 static inline bool xen_support_evtchn_rebind(void)
0024 {
0025     return true;
0026 }
0027
0028 #endif /* _ASM_ARM64_XEN_EVENTS_H */