Lines Matching full:xen

2 #include <xen/xen.h>
3 #include <xen/events.h>
4 #include <xen/grant_table.h>
5 #include <xen/hvm.h>
6 #include <xen/interface/vcpu.h>
7 #include <xen/interface/xen.h>
8 #include <xen/interface/memory.h>
9 #include <xen/interface/hvm/params.h>
10 #include <xen/features.h>
11 #include <xen/platform_pci.h>
12 #include <xen/xenbus.h>
13 #include <xen/page.h>
14 #include <xen/interface/sched.h>
15 #include <xen/xen-ops.h>
16 #include <asm/xen/hypervisor.h>
17 #include <asm/xen/hypercall.h>
52 /* Linux <-> Xen vCPU id mapping */
150 	pr_info("Xen: initializing cpu%d\n", cpu);  in xen_starting_cpu()
203 } hyper_node = {"xen,xen", "xen,xen-", NULL, false};
223 	 * Check if Xen supports EFI by checking whether there is the  in fdt_find_hyper_node()
225 	 * through proxy functions (e.g. in case of Xen dom0 EFI implementation  in fdt_find_hyper_node()
239  * see Documentation/devicetree/bindings/arm/xen.txt for the
240  * documentation of the Xen Device Tree format.
246 		pr_debug("No Xen support\n");  in xen_early_init()
251 		pr_debug("Xen version not found\n");  in xen_early_init()
255 	pr_info("Xen %s support found\n", hyper_node.version);  in xen_early_init()
296 	xen_node = of_find_compatible_node(NULL, NULL, "xen,xen");  in xen_dt_guest_init()
298 		pr_err("Xen support was detected before, but it has disappeared\n");  in xen_dt_guest_init()
320 		pr_err("Xen event channel interrupt not found\n");  in xen_guest_init()
325 	 * The fdt parsing codes have set EFI_RUNTIME_SERVICES if Xen EFI  in xen_guest_init()
391 				 "arm/xen:starting", xen_starting_cpu,  in xen_guest_init()