73 #include <xen/xen-os.h>
74 #include <xen/hvm.h>
75 #include <xen/hypervisor.h>
76 #include <xen/xenstore/xenstorevar.h>
77 #include <xen/xen_pv.h>
79 #include <contrib/xen/arch-x86/cpuid.h>
80 #include <contrib/xen/arch-x86/hvm/start_info.h>
81 #include <contrib/xen/vcpu.h>
83 #include <dev/xen/timer/timer.h>
91 /* Xen initial function */
103  * section loaded by Xen before loading the symtab and strtab.
119 /*-------------------------------- Xen PV init -------------------------------*/
124 	static int xen = -1;  in isxen()  local
128 	if (xen != -1)  in isxen()
129 		return (xen);  in isxen()
134 	 * this is sufficient to distinguish Xen PVH booting from non-Xen PVH  in isxen()
135 	 * and skip some very early Xen-specific code in the non-Xen case.  in isxen()
137 	xen = 0;  in isxen()
143 			xen = 1;  in isxen()
147 	return (xen);  in isxen()
211  * The way Xen loads the symtab is different from the native boot loader,
286 			 * Xen has relocated the metadata and the modules, so  in xen_pvh_parse_preload_data()
327 		/* Parse the extra boot information given by Xen */  in xen_pvh_parse_preload_data()
340 	 * ACPI tables instead of the ones crafted by Xen.  in xen_pvh_parse_preload_data()
387 	/* We should only reach here if we're running under Xen. */  in xen_pvh_parse_memmap()
388 	KASSERT(isxen(), ("xen_pvh_parse_memmap reached when !Xen"));  in xen_pvh_parse_memmap()
390 	/* Fetch the E820 map from Xen */  in xen_pvh_parse_memmap()
395 		xc_printf("ERROR: unable to fetch Xen E820 memory map: %d\n",  in xen_pvh_parse_memmap()
412 	 * Xen and need to use the Xen hypercall.  in pvh_parse_memmap()