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