1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _ASM_ARM_XEN_EVENTS_H
3 #define _ASM_ARM_XEN_EVENTS_H
5 #include <asm/ptrace.h>
6 #include <asm/atomic.h>
9 XEN_PLACEHOLDER_VECTOR
,
11 /* Xen IPIs go here */
15 static inline int xen_irqs_disabled(struct pt_regs
*regs
)
17 return raw_irqs_disabled_flags(regs
->ARM_cpsr
);
20 #define xchg_xen_ulong(ptr, val) atomic64_xchg(container_of((long long*)(ptr),\
24 /* Rebind event channel is supported by default */
25 static inline bool xen_support_evtchn_rebind(void)
30 #endif /* _ASM_ARM_XEN_EVENTS_H */