/* SPDX-License-Identifier: GPL-2.0 */ #ifndef _ASM_X86_XEN_EVENTS_H #define _ASM_X86_XEN_EVENTS_H enum ipi_vector { XEN_RESCHEDULE_VECTOR, XEN_CALL_FUNCTION_VECTOR, XEN_CALL_FUNCTION_SINGLE_VECTOR, XEN_SPIN_UNLOCK_VECTOR, XEN_IRQ_WORK_VECTOR, XEN_NMI_VECTOR, XEN_NR_IPIS, }; static inline int xen_irqs_disabled(struct pt_regs *regs) { return raw_irqs_disabled_flags(regs->flags); } /* No need for a barrier -- XCHG is a barrier on x86. */ #define xchg_xen_ulong(ptr, val) xchg((ptr), (val)) extern int xen_have_vector_callback; /* * Events delivered via platform PCI interrupts are always * routed to vcpu 0 and hence cannot be rebound. */ static inline bool xen_support_evtchn_rebind(void) { return (!xen_hvm_domain() || xen_have_vector_callback); } #endif /* _ASM_X86_XEN_EVENTS_H */
Name | Type | Size | Permission | Actions |
---|---|---|---|---|
cpuid.h | File | 4.27 KB | 0644 |
|
events.h | File | 806 B | 0644 |
|
hypercall.h | File | 17.11 KB | 0644 |
|
hypervisor.h | File | 2.23 KB | 0644 |
|
interface.h | File | 13.21 KB | 0644 |
|
interface_32.h | File | 2.92 KB | 0644 |
|
interface_64.h | File | 4.56 KB | 0644 |
|
page-coherent.h | File | 1.28 KB | 0644 |
|
page.h | File | 9.33 KB | 0644 |
|
pci.h | File | 2.24 KB | 0644 |
|
swiotlb-xen.h | File | 559 B | 0644 |
|
trace_types.h | File | 480 B | 0644 |
|