arch/arm64/include/asm/xen/events.h

   1 /* SPDX-License-Identifier: GPL-2.0 */
   2 #ifndef _ASM_ARM64_XEN_EVENTS_H
   3 #define _ASM_ARM64_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 !interrupts_enabled(regs);
  18 }
  19
  20 #define xchg_xen_ulong(ptr, val) xchg((ptr), (val))
  21
  22 /* Rebind event channel is supported by default */
  23 static inline bool xen_support_evtchn_rebind(void)
  24 {
  25         return true;
  26 }
  27
  28 #endif /* _ASM_ARM64_XEN_EVENTS_H */