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 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 */ 25 static inline bool xen_support_evtchn_rebind(void) 26 { 27 return true; 28 } 29 30 #endif /* _ASM_ARM_XEN_EVENTS_H */ 31