1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef _ASM_X86_XEN_EVENTS_H 3 #define _ASM_X86_XEN_EVENTS_H 4 5 #include <xen/xen.h> 6 7 enum ipi_vector { 8 XEN_RESCHEDULE_VECTOR, 9 XEN_CALL_FUNCTION_VECTOR, 10 XEN_CALL_FUNCTION_SINGLE_VECTOR, 11 XEN_SPIN_UNLOCK_VECTOR, 12 XEN_IRQ_WORK_VECTOR, 13 XEN_NMI_VECTOR, 14 15 XEN_NR_IPIS, 16 }; 17 18 static inline int xen_irqs_disabled(struct pt_regs *regs) 19 { 20 return raw_irqs_disabled_flags(regs->flags); 21 } 22 23 /* No need for a barrier -- XCHG is a barrier on x86. */ 24 #define xchg_xen_ulong(ptr, val) xchg((ptr), (val)) 25 26 extern bool xen_have_vector_callback; 27 28 /* 29 * Events delivered via platform PCI interrupts are always 30 * routed to vcpu 0 and hence cannot be rebound. 31 */ 32 static inline bool xen_support_evtchn_rebind(void) 33 { 34 return (!xen_hvm_domain() || xen_have_vector_callback); 35 } 36 37 extern bool xen_percpu_upcall; 38 #endif /* _ASM_X86_XEN_EVENTS_H */ 39