Lines Matching full:xen
9 #include <xen/features.h>
10 #include <xen/events.h>
11 #include <xen/hvm.h>
12 #include <xen/interface/hvm/hvm_op.h>
13 #include <xen/interface/memory.h>
26 #include <asm/xen/cpuid.h>
27 #include <asm/xen/hypervisor.h>
28 #include <asm/xen/page.h>
30 #include "xen-ops.h"
84 * old Xen versions (xen_have_vector_callback == 0). in xen_hvm_init_mem_mapping()
102 printk(KERN_INFO "Xen version %d.%d.\n", major, minor); in init_hvm_pv_info()
108 pv_info.name = "Xen PVH"; in init_hvm_pv_info()
113 pv_info.name = "Xen HVM"; in init_hvm_pv_info()
291 pv_info.name = "Xen PVH"; in xen_hvm_guest_late_init()
304 /* Guest booting via the Xen-PVH boot entry goes here */ in xen_platform_hvm()
327 .name = "Xen HVM",