asm/xen/events.h

0001 /* SPDX-License-Identifier: GPL-2.0 */
0002 #ifndef _ASM_ARM_XEN_EVENTS_H
0003 #define _ASM_ARM_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 raw_irqs_disabled_flags(regs->ARM_cpsr);
0018 }
0019
0020 #define xchg_xen_ulong(ptr, val) atomic64_xchg(container_of((long long*)(ptr),\
0021                                 atomic64_t, \
0022                                 counter), (val))
0023
0024 /* Rebind event channel is supported by default */
0025 static inline bool xen_support_evtchn_rebind(void)
0026 {
0027     return true;
0028 }
0029
0030 #endif /* _ASM_ARM_XEN_EVENTS_H */