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>
54 /* Linux <-> Xen vCPU id mapping */
156 pr_info("Xen: initializing cpu%d\n", cpu); in xen_starting_cpu()
216 } hyper_node = {"xen,xen", "xen,xen-", NULL, false};
236 * Check if Xen supports EFI by checking whether there is the in fdt_find_hyper_node()
238 * through proxy functions (e.g. in case of Xen dom0 EFI implementation in fdt_find_hyper_node()
252 * see Documentation/devicetree/bindings/arm/xen.txt for the
253 * documentation of the Xen Device Tree format.
259 pr_debug("No Xen support\n"); in xen_early_init()
264 pr_debug("Xen version not found\n"); in xen_early_init()
268 pr_info("Xen %s support found\n", hyper_node.version); in xen_early_init()
307 * A type-less specific Xen resource which contains extended regions
311 .name = "Xen unused space",
328 np = of_find_compatible_node(NULL, NULL, "xen,xen"); in arch_xen_unpopulated_init()
350 * used as unused address space for Xen scratch pages. in arch_xen_unpopulated_init()
418 xen_node = of_find_compatible_node(NULL, NULL, "xen,xen"); in xen_dt_guest_init()
420 pr_err("Xen support was detected before, but it has disappeared\n"); in xen_dt_guest_init()
427 pr_err("Xen grant table region is not found\n"); in xen_dt_guest_init()
453 pr_err("Xen event channel interrupt not found\n"); in xen_guest_init()
458 * The fdt parsing codes have set EFI_RUNTIME_SERVICES if Xen EFI in xen_guest_init()
528 "arm/xen:starting", xen_starting_cpu, in xen_guest_init()