x86/xen/enlighten_pv.c

38 #include <xen/xen.h>
39 #include <xen/events.h>
40 #include <xen/interface/xen.h>
41 #include <xen/interface/version.h>
42 #include <xen/interface/physdev.h>
43 #include <xen/interface/vcpu.h>
44 #include <xen/interface/memory.h>
45 #include <xen/interface/nmi.h>
46 #include <xen/interface/xen-mca.h>
47 #include <xen/features.h>
48 #include <xen/page.h>
49 #include <xen/hvc-console.h>
50 #include <xen/acpi.h>
55 #include <asm/xen/pci.h>
56 #include <asm/xen/hypercall.h>
57 #include <asm/xen/hypervisor.h>
58 #include <asm/xen/cpuid.h>
84 #include <xen/interface/platform.h>
87 #include "xen-ops.h"
193 	/* xen clock uses per-cpu vcpu_info, need to init it for boot cpu */
695 	void (*xen)(void);
701 	.xen		= xen_asm_##func,		\
706 	.xen		= xen_asm_xenpv_##func,		\
757 			*addr = entry->xen;