6 XEN_CALL_FUNCTION_VECTOR,
7 XEN_CALL_FUNCTION_SINGLE_VECTOR,
8 XEN_SPIN_UNLOCK_VECTOR,
13 static inline int xen_irqs_disabled(struct pt_regs *regs)
15 return raw_irqs_disabled_flags(regs->flags);
18 static inline void xen_do_IRQ(int irq, struct pt_regs *regs)
24 #endif /* __XEN_EVENTS_H */