l4/pkg/linux-26-headers/include/asm-x86/xen/events.h

   1 #ifndef __XEN_EVENTS_H
   2 #define __XEN_EVENTS_H
   3
   4 enum ipi_vector {
   5         XEN_RESCHEDULE_VECTOR,
   6         XEN_CALL_FUNCTION_VECTOR,
   7         XEN_CALL_FUNCTION_SINGLE_VECTOR,
   8         XEN_SPIN_UNLOCK_VECTOR,
   9
  10         XEN_NR_IPIS,
  11 };
  12
  13 static inline int xen_irqs_disabled(struct pt_regs *regs)
  14 {
  15         return raw_irqs_disabled_flags(regs->flags);
  16 }
  17
  18 static inline void xen_do_IRQ(int irq, struct pt_regs *regs)
  19 {
  20         regs->orig_ax = ~irq;
  21         do_IRQ(regs);
  22 }
  23
  24 #endif /* __XEN_EVENTS_H */