Lines Matching full:xen
47 #include <xen/xen-os.h>
48 #include <xen/features.h>
49 #include <xen/gnttab.h>
50 #include <xen/hypervisor.h>
51 #include <xen/hvm.h>
52 #include <xen/xen_intr.h>
54 #include <contrib/xen/arch-x86/cpuid.h>
55 #include <contrib/xen/vcpu.h>
75 /*--------------------------------- Xen IPIs ---------------------------------*/
100 * Save previous (native) handler as a fallback. Xen < 4.7 doesn't support
103 * https://lists.freebsd.org/archives/freebsd-xen/2022-January/000032.html
110 /*------------------------------- Xen PV APIC --------------------------------*/
212 /*---------------------------- XEN PV IPI Handlers ---------------------------*/
303 /*----------------------------- XEN PV IPI setup -----------------------------*/
305 * Those functions are provided outside of the Xen PV APIC implementation
306 * so PVHVM guests can also use PV IPIs without having an actual Xen PV APIC,
307 * because on PVHVM there's an emulated LAPIC provided by Xen.
327 panic("Unable to allocate a XEN IPI port"); in xen_cpu_ipi_init()
346 KASSERT(hv_base != 0, ("Invalid base Xen CPUID leaf")); in xen_setup_cpus()
355 /* Set the xen pv ipi ops to replace the native ones */ in xen_setup_cpus()