55 #include <xen/xen-os.h>
56 #include <xen/error.h>
57 #include <xen/features.h>
58 #include <xen/gnttab.h>
59 #include <xen/hypervisor.h>
60 #include <xen/hvm.h>
61 #include <xen/xen_intr.h>
63 #include <contrib/xen/arch-x86/cpuid.h>
64 #include <contrib/xen/hvm/params.h>
65 #include <contrib/xen/vcpu.h>
78 static MALLOC_DEFINE(M_XENHVM, "xen_hvm", "Xen HVM PV Support");
98 TUNABLE_INT("hw.xen.disable_pv_disks", &xen_disable_pv_disks);
99 TUNABLE_INT("hw.xen.disable_pv_nics", &xen_disable_pv_nics);
101 /*---------------------- XEN Hypervisor Probe and Setup ----------------------*/
115 		 * Xen hypervisors prior to 4.6.0 do not properly  in hypervisor_quirks()
122 "Disabling MSI-X interrupt migration due to Xen hypervisor bug.\n"  in hypervisor_quirks()
139 	printf("XEN: Hypervisor version %d.%d detected.\n", major, minor);  in hypervisor_version()
189 	    "invalid Xen shared_info struct size");  in map_shared_info()
276 /* Early initialization when running as a Xen guest. */
307 	    /* Fixup video console information in case Xen changed the mode. */  in xen_early_init()
355 		printf("Xen HVM callback vector registration failed (%d). "  in xen_hvm_set_callback()
411 			printf("XEN: disabling emulated disks\n");  in xen_hvm_disable_emulated_devices()
416 			printf("XEN: disabling emulated nics\n");  in xen_hvm_disable_emulated_devices()
448 			panic("cannot map Xen shared info page");  in xen_hvm_init()
507 	KASSERT(hv_base != 0, ("Invalid base Xen CPUID leaf"));  in xen_hvm_cpu_init()
511 	    ("Xen PV domain without vcpu_id in cpuid"));  in xen_hvm_cpu_init()
538 	KASSERT(hv_base != 0, ("Invalid base Xen CPUID leaf"));  in xen_has_iommu_maps()