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 | |